Skip to content

Actions: verus-lang/verus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages pages #1786: completed by parno
August 13, 2025 04:57 44s
August 13, 2025 04:57 44s
pages pages #1785: completed by parno
August 13, 2025 04:55 42s
August 13, 2025 04:55 42s
pages pages #1784: completed by parno
August 13, 2025 04:41 44s
August 13, 2025 04:41 44s
Update one of the suggested remedies when Verus is uncertain about ci #7611: Commit c6e9610 pushed by parno
August 13, 2025 04:36 20m 59s main
main
August 13, 2025 04:36 20m 59s
Strengthen Set::lemma_map_size (#1860) ci #7610: Commit ba0d38e pushed by parno
August 13, 2025 04:24 31m 22s main
main
August 13, 2025 04:24 31m 22s
vstd : add lemmas about Seq::fold_left/fold_right (#1833) ci #7609: Commit 03e6556 pushed by parno
August 13, 2025 04:22 19m 48s main
main
August 13, 2025 04:22 19m 48s
pages pages #1783: completed by Chris-Hawblitzel
August 13, 2025 01:32 42s
August 13, 2025 01:32 42s
f32/f64 types and constants, with uninterpreted f32/f64 arithmetic (#… ci #7608: Commit 7489a2f pushed by Chris-Hawblitzel
August 13, 2025 01:08 23m 51s main
main
August 13, 2025 01:08 23m 51s
f32/f64 types and constants, with uninterpreted f32/f64 arithmetic ci #7607: Pull request #1859 synchronize by Chris-Hawblitzel
August 13, 2025 00:44 19m 18s float1
float1
August 13, 2025 00:44 19m 18s
Automated versioning for Verus crates ci #7606: Pull request #1864 opened by parno
August 12, 2025 22:27 2m 45s versioning
versioning
August 12, 2025 22:27 2m 45s
pages pages #1782: completed by zeldovich
August 12, 2025 14:42 5m 1s
August 12, 2025 14:42 5m 1s
add tokens for shared Map and Seq state (#1808) ci #7605: Commit e0d051e pushed by zeldovich
August 12, 2025 14:17 25m 10s main
main
August 12, 2025 14:17 25m 10s
pages pages #1781: completed by tjhance
August 12, 2025 08:55 46s
August 12, 2025 08:55 46s
Use Place type everywhere in VIR AST (#1831) ci #7604: Commit 86a5d4b pushed by tjhance
August 12, 2025 08:36 19m 3s main
main
August 12, 2025 08:36 19m 3s
pages pages #1780: completed by tjhance
August 12, 2025 08:15 48s
August 12, 2025 08:15 48s
Place everywhere ci #7603: Pull request #1831 synchronize by tjhance
August 12, 2025 07:57 26m 28s place-everywhere
place-everywhere
August 12, 2025 07:57 26m 28s
axioms for has_resolved (#1857) ci #7602: Commit e09c0af pushed by tjhance
August 12, 2025 07:55 19m 20s main
main
August 12, 2025 07:55 19m 20s
pages pages #1779: completed by parno
August 12, 2025 04:13 41s
August 12, 2025 04:13 41s
Update the default Cargo.toml produced by cargo verus new to only list ci #7601: Commit a372bae pushed by parno
August 12, 2025 03:58 14m 50s main
main
August 12, 2025 03:58 14m 50s
Strengthen Set::lemma_map_size ci #7600: Pull request #1860 opened by rikosellic
August 12, 2025 03:43 23m 44s rikosellic:map-size
rikosellic:map-size
August 12, 2025 03:43 23m 44s
pages pages #1778: completed by dschoepe
August 11, 2025 19:19 1m 21s
August 11, 2025 19:19 1m 21s
Use constrain_type function to set return value type in ensures cla… ci #7599: Commit e8d43b8 pushed by dschoepe
August 11, 2025 19:00 19m 21s main
main
August 11, 2025 19:00 19m 21s
f32/f64 types and constants, with uninterpreted f32/f64 arithmetic ci #7598: Pull request #1859 opened by Chris-Hawblitzel
August 11, 2025 15:56 21m 46s float1
float1
August 11, 2025 15:56 21m 46s
pages pages #1777: completed by tjhance
August 11, 2025 08:43 44s
August 11, 2025 08:43 44s
some fixes to the vstd-importing special case options ci #7597: Commit eff6e63 pushed by tjhance
August 11, 2025 08:21 21m 17s main
main
August 11, 2025 08:21 21m 17s