Skip to content

Actions: verus-lang/verus

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,234 workflow runs
2,234 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
implement returns clause ci #6000: Pull request #1283 synchronize by tjhance
October 12, 2024 00:51 10m 26s returns
returns
October 12, 2024 00:51 10m 26s
implement returns clause ci #5999: Pull request #1283 synchronize by tjhance
October 12, 2024 00:35 8m 23s returns
returns
October 12, 2024 00:35 8m 23s
add support for prophecy variables ci #5998: Commit f2bf563 pushed by zeldovich
October 11, 2024 21:42 10m 55s main
main
October 11, 2024 21:42 10m 55s
add support for prophecy variables ci #5997: Pull request #1293 synchronize by zeldovich
October 11, 2024 21:20 14m 26s zeldovich:proph
zeldovich:proph
October 11, 2024 21:20 14m 26s
make vargo fmt happy with an earlier unrelated commit ci #5996: Commit dba7a12 pushed by zeldovich
October 11, 2024 21:14 18m 10s main
main
October 11, 2024 21:14 18m 10s
keep create_open_invariant_credit available in exec mode ci #5995: Pull request #1299 synchronize by zeldovich
October 11, 2024 19:36 10m 26s zeldovich:credit-exec
zeldovich:credit-exec
October 11, 2024 19:36 10m 26s
keep create_open_invariant_credit available in exec mode ci #5994: Pull request #1299 synchronize by zeldovich
October 11, 2024 19:02 11m 37s zeldovich:credit-exec
zeldovich:credit-exec
October 11, 2024 19:02 11m 37s
keep create_open_invariant_credit available in exec mode ci #5993: Pull request #1299 synchronize by zeldovich
October 11, 2024 18:50 10m 35s zeldovich:credit-exec
zeldovich:credit-exec
October 11, 2024 18:50 10m 35s