Skip to content

Actions: verus-lang/verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,521 workflow runs
2,521 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

prove lemma of transitivity for Map::submap_of (#1401) ci #6309: Commit db6b941 pushed by tjhance
January 22, 2025 21:22 13m 26s main
main
January 22, 2025 21:22 13m 26s
prove lemma of transitivity for Map::submap_of ci #6308: Pull request #1401 synchronize by zeldovich
January 22, 2025 19:13 39m 29s zeldovich:submap_trans
zeldovich:submap_trans
January 22, 2025 19:13 39m 29s
misc fixes to vec assumed specs ci #6307: Pull request #1400 synchronize by zeldovich
January 22, 2025 19:11 31m 42s zeldovich:vec_specs
zeldovich:vec_specs
January 22, 2025 19:11 31m 42s
prove lemma of transitivity for Map::submap_of ci #6306: Pull request #1401 opened by zeldovich
January 22, 2025 19:07 23m 36s zeldovich:submap_trans
zeldovich:submap_trans
January 22, 2025 19:07 23m 36s
misc fixes to vec assumed specs ci #6305: Pull request #1400 opened by zeldovich
January 22, 2025 19:06 13m 9s zeldovich:vec_specs
zeldovich:vec_specs
January 22, 2025 19:06 13m 9s
pages pages #1385: completed by utaal
January 22, 2025 14:10 1m 1s
January 22, 2025 14:10 1m 1s
Add one prelude axiom to be identified in axiom-usage-info (#1397) ci #6304: Commit 4e0dda1 pushed by utaal
January 22, 2025 13:57 13m 35s main
main
January 22, 2025 13:57 13m 35s
Add one prelude axiom to be identified in axiom-usage-info ci #6303: Pull request #1397 opened by ahuoguo
January 22, 2025 12:25 12m 9s principled-systems:prelude-unsat-core-merge
principled-systems:prelude-unsat-core-merge
January 22, 2025 12:25 12m 9s
pages pages #1384: completed by utaal
January 22, 2025 10:58 53s
January 22, 2025 10:58 53s
Merge mergesort example ci #6302: Commit 99b9ac6 pushed by utaal
January 22, 2025 10:43 14m 51s main
main
January 22, 2025 10:43 14m 51s
pages pages #1383: completed by utaal
January 22, 2025 09:36 54s
January 22, 2025 09:36 54s
add regression test, fixes #1322, external_body const no longer panic… ci #6301: Commit edcff70 pushed by utaal
January 22, 2025 09:25 11m 2s main
main
January 22, 2025 09:25 11m 2s
explicitly handle NeverToAny ci #6300: Pull request #1396 opened by tjhance
January 22, 2025 03:39 16m 20s never-to-any
never-to-any
January 22, 2025 03:39 16m 20s
pages pages #1382: completed by tjhance
January 22, 2025 00:56 58s
January 22, 2025 00:56 58s
bugfix: show 'not supported' error for let-else ci #6299: Commit f172d14 pushed by tjhance
January 22, 2025 00:38 17m 50s main
main
January 22, 2025 00:38 17m 50s
pages pages #1381: completed by utaal
January 21, 2025 15:20 1m 6s
January 21, 2025 15:20 1m 6s
update outdated error message for &mut parameters to spec functions ci #6298: Commit 1dcd13d pushed by utaal
January 21, 2025 15:06 13m 41s main
main
January 21, 2025 15:06 13m 41s
Monomorphization ci #6297: Pull request #1218 synchronize by lenianiva
January 21, 2025 02:30 7m 6s monomorphize
monomorphize
January 21, 2025 02:30 7m 6s
Prelude unsat core ci #6296: Pull request #1392 opened by ahuoguo
January 20, 2025 18:06 14m 25s principled-systems:prelude-unsat-core
principled-systems:prelude-unsat-core
January 20, 2025 18:06 14m 25s
pages pages #1380: completed by utaal
January 20, 2025 15:52 49s
January 20, 2025 15:52 49s
add a check in vargo for unexpected features ci #6295: Commit a86a5f9 pushed by utaal
January 20, 2025 15:36 16m 12s main
main
January 20, 2025 15:36 16m 12s
pages pages #1379: completed by utaal
January 18, 2025 09:03 48s
January 18, 2025 09:03 48s
pages pages #1378: completed by utaal
January 18, 2025 08:56 51s
January 18, 2025 08:56 51s
update CONTRIBUTING.md to fix a broken link ci #6294: Commit 4daed93 pushed by utaal
January 18, 2025 08:48 15m 20s main
main
January 18, 2025 08:48 15m 20s
change the installation instructions to use the binary release ci #6293: Commit bcad3df pushed by utaal
January 18, 2025 08:45 11m 31s main
main
January 18, 2025 08:45 11m 31s