Skip to content

Actions: verus-lang/verus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages pages #1356: completed by matthias-brun
January 10, 2025 08:59 54s
January 10, 2025 08:59 54s
New (in-)finiteness lemmas for sets ci #6245: Commit c1474ff pushed by matthias-brun
January 10, 2025 08:42 16m 40s main
main
January 10, 2025 08:42 16m 40s
pages pages #1355: completed by utaal
January 10, 2025 04:47 1m 47s
January 10, 2025 04:47 1m 47s
Merge pull request #1152 from hayley-leblanc/map_err ci #6244: Commit cef3b58 pushed by utaal
January 10, 2025 04:32 14m 34s main
main
January 10, 2025 04:32 14m 34s
vstd: map_err spec ci #6243: Pull request #1152 synchronize by utaal
January 10, 2025 04:20 14m 20s hayley-leblanc:map_err
hayley-leblanc:map_err
January 10, 2025 04:20 14m 20s
pages pages #1354: completed by utaal
January 10, 2025 04:16 48s
January 10, 2025 04:16 48s
Ensure is_sized in global layout lemma (#1115) ci #6242: Commit 3da154a pushed by utaal
January 10, 2025 04:01 14m 58s main
main
January 10, 2025 04:01 14m 58s
New documentation page on devising invariants ci #6241: Pull request #1381 synchronize by parno
January 10, 2025 02:07 15m 15s dev-invariants
dev-invariants
January 10, 2025 02:07 15m 15s
New documentation page on devising invariants ci #6240: Pull request #1381 opened by parno
January 9, 2025 21:25 14m 54s dev-invariants
dev-invariants
January 9, 2025 21:25 14m 54s
pages pages #1353: completed by utaal
January 9, 2025 19:21 50s
January 9, 2025 19:21 50s
add ignored test for #1380 ci #6239: Commit 5fd2be1 pushed by utaal
January 9, 2025 19:04 16m 47s main
main
January 9, 2025 19:04 16m 47s
pages pages #1352: completed by utaal
January 9, 2025 18:38 49s
January 9, 2025 18:38 49s
Monomorphization ci #6238: Pull request #1218 synchronize by utaal
January 9, 2025 18:32 9m 5s monomorphize
monomorphize
January 9, 2025 18:32 9m 5s
do not try to delete verus-root if it does not exist ci #6237: Commit 1496213 pushed by utaal
January 9, 2025 18:24 13m 38s main
main
January 9, 2025 18:24 13m 38s
Ensure is_sized in global layout lemma ci #6236: Pull request #1115 synchronize by ouuan
January 9, 2025 14:29 16m 27s ouuan:global-layout-sized
ouuan:global-layout-sized
January 9, 2025 14:29 16m 27s
Additional (in-)finiteness lemmas for sets ci #6235: Pull request #1376 synchronize by matthias-brun
January 9, 2025 09:30 15m 42s matthias-brun:set-axioms
matthias-brun:set-axioms
January 9, 2025 09:30 15m 42s
pages pages #1351: completed by utaal
January 9, 2025 08:06 57s
January 9, 2025 08:06 57s
when a verusroot is present, with source files, remap spans so that t… ci #6234: Commit a7c1e00 pushed by utaal
January 9, 2025 07:55 11m 42s main
main
January 9, 2025 07:55 11m 42s
when a verusroot is present, with source files, remap spans so that they are available in binary releases ci #6233: Pull request #1375 synchronize by utaal
January 9, 2025 07:09 13m 26s vargo-builtin-vstd-source
vargo-builtin-vstd-source
January 9, 2025 07:09 13m 26s
pages pages #1350: completed by tjhance
January 9, 2025 01:13 53s
January 9, 2025 01:13 53s
fix minimal_bv_for_const for negative integers ci #6232: Commit d08d1d0 pushed by tjhance
January 9, 2025 00:58 14m 54s main
main
January 9, 2025 00:58 14m 54s
pages pages #1349: completed by parno
January 9, 2025 00:24 53s
January 9, 2025 00:24 53s
Expand docs to illustrate how the modes work together ci #6231: Pull request #1377 opened by parno
January 9, 2025 00:14 20m 16s modes-example
modes-example
January 9, 2025 00:14 20m 16s
Docs: Minor fixes to using assert and assume to develop proofs ci #6230: Commit 3cbb5a6 pushed by parno
January 9, 2025 00:12 11m 45s main
main
January 9, 2025 00:12 11m 45s
pages pages #1348: completed by parno
January 8, 2025 21:47 53s
January 8, 2025 21:47 53s