Skip to content

Actions: verus-lang/verus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
pages pages #1377: completed by utaal
January 18, 2025 08:30 49s
January 18, 2025 08:30 49s
Fix link to tutorial in README.md ci #6292: Commit 0f571e0 pushed by utaal
January 18, 2025 08:18 12m 5s main
main
January 18, 2025 08:18 12m 5s
pages pages #1376: completed by utaal
January 18, 2025 08:15 58s
January 18, 2025 08:15 58s
add regression test, fixes #1339 ci #6291: Commit b6a8fb2 pushed by utaal
January 18, 2025 08:03 12m 10s main
main
January 18, 2025 08:03 12m 10s
pages pages #1375: completed by tjhance
January 17, 2025 20:49 54s
January 17, 2025 20:49 54s
update CONTRIBUTING.md ci #6290: Commit 43af0c8 pushed by tjhance
January 17, 2025 20:38 11m 32s main
main
January 17, 2025 20:38 11m 32s
pages pages #1374: completed by utaal
January 17, 2025 20:27 49s
January 17, 2025 20:27 49s
pages pages #1373: completed by utaal
January 17, 2025 20:17 56s
January 17, 2025 20:17 56s
add regression test, fixes #1334 ci #6289: Commit eeca797 pushed by utaal
January 17, 2025 20:05 22m 25s main
main
January 17, 2025 20:05 22m 25s
Merge pull request #1330 from verus-lang/rustc-1.82.0 ci #6288: Commit 77551f7 pushed by utaal
January 17, 2025 20:03 13m 14s main
main
January 17, 2025 20:03 13m 14s
Rust 1.82.0 ci #6287: Pull request #1330 synchronize by utaal
January 17, 2025 19:50 12m 52s rustc-1.82.0
rustc-1.82.0
January 17, 2025 19:50 12m 52s
pages pages #1372: completed by utaal
January 17, 2025 18:42 59s
January 17, 2025 18:42 59s
update veritas to rust 1.79.0 ci #6286: Commit 9d8ec20 pushed by utaal
January 17, 2025 18:25 17m 22s main
main
January 17, 2025 18:25 17m 22s
pages pages #1371: completed by utaal
January 17, 2025 18:17 47s
January 17, 2025 18:17 47s
fix line count tool after changes to the syntax macro ast ci #6285: Commit c7c33d0 pushed by utaal
January 17, 2025 18:03 14m 22s main
main
January 17, 2025 18:03 14m 22s
Rust 1.82.0 ci #6284: Pull request #1330 synchronize by utaal
January 17, 2025 16:50 18m 46s rustc-1.82.0
rustc-1.82.0
January 17, 2025 16:50 18m 46s
Rust 1.82.0 ci #6283: Pull request #1330 reopened by ziqiaozhou
January 17, 2025 00:23 24m 15s rustc-1.82.0
rustc-1.82.0
January 17, 2025 00:23 24m 15s