Skip to content

Actions: verus-lang/verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,100 workflow runs
3,100 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages pages #1242: completed by marshtompsxd
October 17, 2024 18:34 1m 2s
October 17, 2024 18:34 1m 2s
Add extend to HashMap and StringHashMap (#1295) ci #6017: Commit aa8b423 pushed by marshtompsxd
October 17, 2024 18:23 11m 15s main
main
October 17, 2024 18:23 11m 15s
Add extend to HashMap and StringHashMap ci #6016: Pull request #1295 synchronize by marshtompsxd
October 17, 2024 01:13 10m 46s marshtompsxd:xudong/dev
marshtompsxd:xudong/dev
October 17, 2024 01:13 10m 46s
Small macros to avoid use of verus!{} for executable codes. ci #6015: Pull request #1297 synchronize by ziqiaozhou
October 16, 2024 21:30 11m 2s ziqiaozhou:small-macros
ziqiaozhou:small-macros
October 16, 2024 21:30 11m 2s
pages pages #1241: completed by utaal
October 16, 2024 09:40 47s
October 16, 2024 09:40 47s
add cvc5 to source/.gitignore ci #6014: Commit e4c33bf pushed by utaal
October 16, 2024 09:28 12m 43s main
main
October 16, 2024 09:28 12m 43s
Small macros to avoid use of verus!{} for executable codes. ci #6013: Pull request #1297 synchronize by ziqiaozhou
October 15, 2024 21:53 11m 45s ziqiaozhou:small-macros
ziqiaozhou:small-macros
October 15, 2024 21:53 11m 45s
Small macros to avoid use of verus!{} for executable codes. ci #6012: Pull request #1297 synchronize by ziqiaozhou
October 15, 2024 21:41 6m 24s ziqiaozhou:small-macros
ziqiaozhou:small-macros
October 15, 2024 21:41 6m 24s
pages pages #1240: completed by utaal
October 15, 2024 17:41 51s
October 15, 2024 17:41 51s
pages pages #1239: completed by utaal
October 15, 2024 17:34 48s
October 15, 2024 17:34 48s
verusfmt ci #6011: Commit ff0f1ba pushed by utaal
October 15, 2024 17:24 16m 36s main
main
October 15, 2024 17:24 16m 36s
Add is_empty and is_singleton to multiset (#1246) ci #6010: Commit 85928b2 pushed by utaal
October 15, 2024 17:23 11m 39s main
main
October 15, 2024 17:23 11m 39s
Add is_empty and is_singleton to multiset ci #6009: Pull request #1246 synchronize by rikosellic
October 15, 2024 06:18 10m 59s rikosellic:main
rikosellic:main
October 15, 2024 06:18 10m 59s
Small macros to avoid use of verus!{} for executable codes. ci #6008: Pull request #1297 synchronize by ziqiaozhou
October 14, 2024 18:38 12m 12s ziqiaozhou:small-macros
ziqiaozhou:small-macros
October 14, 2024 18:38 12m 12s
pages pages #1238: completed by utaal
October 13, 2024 14:12 52s
October 13, 2024 14:12 52s
pages pages #1237: completed by utaal
October 13, 2024 14:03 51s
October 13, 2024 14:03 51s
add spec_has to Set, Multiset ci #6007: Commit 8d76bab pushed by utaal
October 13, 2024 14:01 10m 45s main
main
October 13, 2024 14:01 10m 45s
warn that assert forall |...| p ==> q does not assume the antecedent ci #6006: Commit 5841832 pushed by utaal
October 13, 2024 13:53 10m 36s main
main
October 13, 2024 13:53 10m 36s
warn that assert forall |...| p ==> q does not assume the antecedent ci #6005: Pull request #1302 synchronize by utaal
October 13, 2024 13:45 10m 26s assert-forall-implies-warn
assert-forall-implies-warn
October 13, 2024 13:45 10m 26s
warn that assert forall |...| p ==> q does not assume the antecedent ci #6004: Pull request #1302 synchronize by utaal
October 13, 2024 13:44 4m 54s assert-forall-implies-warn
assert-forall-implies-warn
October 13, 2024 13:44 4m 54s
warn that assert forall |...| p ==> q does not assume the antecedent ci #6003: Pull request #1302 synchronize by utaal
October 13, 2024 13:35 3m 52s assert-forall-implies-warn
assert-forall-implies-warn
October 13, 2024 13:35 3m 52s
pages pages #1236: completed by tjhance
October 12, 2024 01:42 49s
October 12, 2024 01:42 49s
returns (#1283) ci #6002: Commit 5a1545e pushed by tjhance
October 12, 2024 01:32 10m 32s main
main
October 12, 2024 01:32 10m 32s
pages pages #1235: completed by tjhance
October 12, 2024 01:07 51s
October 12, 2024 01:07 51s
bugfix: trait substitutions in opens_invariants signature, fixes #1304 ci #6001: Commit 1971abb pushed by tjhance
October 12, 2024 00:55 11m 22s main
main
October 12, 2024 00:55 11m 22s