Skip to content

Actions: verus-lang/verus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ci ci #5926: Manually run by Chris-Hawblitzel
September 25, 2024 22:31 9m 51s fix-sst-util-finalize
fix-sst-util-finalize
September 25, 2024 22:31 9m 51s
Add is_empty and is_singleton to multiset ci #5925: Pull request #1246 synchronize by rikosellic
September 25, 2024 06:19 Action required rikosellic:main
rikosellic:main
September 25, 2024 06:19 Action required
rethinking of tuple-handling ci #5924: Pull request #1281 synchronize by tjhance
September 24, 2024 23:20 12m 23s tup-refactor
tup-refactor
September 24, 2024 23:20 12m 23s
rethinking of tuple-handling ci #5923: Pull request #1281 opened by tjhance
September 24, 2024 23:16 10m 13s tup-refactor
tup-refactor
September 24, 2024 23:16 10m 13s
pages pages #1205: completed by tjhance
September 24, 2024 15:30 51s
September 24, 2024 15:30 51s
guide: fix typo ci #5922: Commit 84eed8a pushed by tjhance
September 24, 2024 15:17 12m 33s main
main
September 24, 2024 15:17 12m 33s
pages pages #1204: completed by tjhance
September 24, 2024 14:02 54s
September 24, 2024 14:02 54s
guide: update opens_invariants docs ci #5921: Commit d37dfa1 pushed by tjhance
September 24, 2024 13:49 13m 7s main
main
September 24, 2024 13:49 13m 7s
Add is_empty and is_singleton to multiset ci #5920: Pull request #1246 synchronize by rikosellic
September 24, 2024 06:11 Action required rikosellic:main
rikosellic:main
September 24, 2024 06:11 Action required
pages pages #1203: completed by tjhance
September 23, 2024 19:57 56s
September 23, 2024 19:57 56s
bugfix: lifetime_generate should check external_body on trait items, … ci #5919: Commit f833b12 pushed by tjhance
September 23, 2024 19:44 12m 8s main
main
September 23, 2024 19:44 12m 8s
pages pages #1202: completed by tjhance
September 23, 2024 13:46 56s
September 23, 2024 13:46 56s
bugfix: &mut to nested field with generic datatype ci #5918: Commit ff26abb pushed by tjhance
September 23, 2024 13:35 11m 23s main
main
September 23, 2024 13:35 11m 23s
more consistent handling of unit-return functions ci #5917: Pull request #1280 opened by tjhance
September 21, 2024 22:03 7m 55s ret-param
ret-param
September 21, 2024 22:03 7m 55s
add subrange_of_matching_take lemma to seq_lib ci #5916: Pull request #1276 synchronize by jonhnet
September 20, 2024 21:05 9m 54s jonh/subrange_of_matching_take
jonh/subrange_of_matching_take
September 20, 2024 21:05 9m 54s
add subrange_of_matching_take lemma to seq_lib ci #5915: Pull request #1276 opened by jonhnet
September 20, 2024 19:58 15m 17s jonh/subrange_of_matching_take
jonh/subrange_of_matching_take
September 20, 2024 19:58 15m 17s
pages pages #1201: completed by tjhance
September 20, 2024 09:57 1m 0s
September 20, 2024 09:57 1m 0s
increase get_impl_paths bound ci #5914: Commit edeaa36 pushed by tjhance
September 20, 2024 09:46 10m 39s main
main
September 20, 2024 09:46 10m 39s
pages pages #1200: completed by parno
September 19, 2024 18:21 56s
September 19, 2024 18:21 56s
Fix Vec::split_off spec (#1272) ci #5913: Commit f5cdebe pushed by parno
September 19, 2024 18:08 12m 13s main
main
September 19, 2024 18:08 12m 13s
Fix Vec::split_off spec ci #5912: Pull request #1272 opened by zhengyao-lin
September 19, 2024 17:46 13m 38s zhengyao-lin:vec_split_off
zhengyao-lin:vec_split_off
September 19, 2024 17:46 13m 38s
Add is_empty and is_singleton to multiset ci #5911: Pull request #1246 synchronize by rikosellic
September 19, 2024 02:02 Action required rikosellic:main
rikosellic:main
September 19, 2024 02:02 Action required
pages pages #1199: completed by utaal
September 18, 2024 09:51 50s
September 18, 2024 09:51 50s
fix feature axiom-usage-info after switch to KrateSst ci #5910: Commit 3580369 pushed by utaal
September 18, 2024 09:40 10m 36s main
main
September 18, 2024 09:40 10m 36s
pages pages #1198: completed by parno
September 17, 2024 16:58 56s
September 17, 2024 16:58 56s