Skip to content

Actions: verus-lang/verus

Actions

rolling-release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rolling-release.yml
245 workflow runs
245 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
vstd/range: implement IteratorSpecImpl for RangeInclusive (#2479) rolling-release #45: Commit 2fbad8a pushed by github-merge-queue Bot
12m 4s main
main
12m 4s
fix spec for HashMap::clone (#2513) rolling-release #44: Commit 3039efc pushed by github-merge-queue Bot
9m 12s main
main
9m 12s
[rust_verify] fix: skip codegen when --compile is not set (#2509) rolling-release #43: Commit ee05df3 pushed by github-merge-queue Bot
12m 51s main
main
12m 51s
Update crate version numbers (#2510) rolling-release #42: Commit 5dd6d83 pushed by github-merge-queue Bot
15m 51s main
main
15m 51s
Add no_unwind and opens_invariants none to wrapping operations (#2502) rolling-release #41: Commit 9ebd913 pushed by github-merge-queue Bot
9m 38s main
main
9m 38s
Add const unsafe trait and unsafe impl const support to verus-syn (#2… rolling-release #40: Commit fa17871 pushed by github-merge-queue Bot
11m 47s main
main
11m 47s
bugfix: use the correct pattern type when erasing pure spec expressio… rolling-release #39: Commit 90f2d39 pushed by github-merge-queue Bot
27m 14s main
main
27m 14s
misc: add settings for the Zed editor (#2493) rolling-release #38: Commit e1c8ff3 pushed by github-merge-queue Bot
19m 58s main
main
19m 58s
[cargo-verus] feat: support forwarding verbosity settings to Cargo an… rolling-release #37: Commit 9e0d7f5 pushed by github-merge-queue Bot
9m 55s main
main
9m 55s
[rust_verify_test] feat: use a temp dir as target dir to isolate `c… rolling-release #36: Commit f7c39fb pushed by github-merge-queue Bot
12m 55s main
main
12m 55s
[cargo-verus] test: confirm expected behavior around package aliases … rolling-release #35: Commit ebb7c82 pushed by github-merge-queue Bot
7m 51s main
main
7m 51s
emit lifetime constraints for open_local_invariant (#2476) rolling-release #34: Commit 99b6383 pushed by github-merge-queue Bot
11m 28s main
main
11m 28s
Update crate version numbers (#2483) rolling-release #33: Commit ecee80a pushed by github-merge-queue Bot
10m 30s main
main
10m 30s
Fn output fix (#2477) rolling-release #32: Commit d8d6cd4 pushed by github-merge-queue Bot
12m 41s main
main
12m 41s
verusdoc: fix uninterp display; fixes #2473 (#2478) rolling-release #31: Commit f47cca5 pushed by github-merge-queue Bot
9m 50s main
main
9m 50s
Add basic support for Iter::collect (#2449) rolling-release #30: Commit cf79f2c pushed by github-merge-queue Bot
12m 27s main
main
12m 27s
Emit output type constraints for top-level functions too (#2474) rolling-release #29: Commit 633baa8 pushed by github-merge-queue Bot
9m 25s main
main
9m 25s
guide: move Quantifiers to Fundamentals section (#2472) rolling-release #28: Commit 80e558c pushed by github-merge-queue Bot
13m 2s main
main
13m 2s
bugfix: unhandled shadow case in get_manual_triggers (#2463) rolling-release #27: Commit b02cf68 pushed by github-merge-queue Bot
11m 24s main
main
11m 24s
guide: move the LLM section (#2469) rolling-release #26: Commit 5074137 pushed by github-merge-queue Bot
9m 30s main
main
9m 30s
[guide] Provide a relative pointer to the next chapter. (#2470) rolling-release #25: Commit 1882123 pushed by parno
17m 26s main
main
17m 26s
Add external_trait_private_bound attribute to handle sealed traits (#… rolling-release #24: Commit 46362a2 pushed by github-merge-queue Bot
13m 37s main
main
13m 37s
[cargo-verus] fix: import .vir for transitive verified deps (#2403) rolling-release #23: Commit f02affb pushed by github-merge-queue Bot
10m 16s main
main
10m 16s
remove named return value requirement (#2459) rolling-release #22: Commit 19a4e36 pushed by github-merge-queue Bot
9m 33s main
main
9m 33s
Update our GitHub actions to move away the about-to-be-deprecated Nod… rolling-release #21: Commit 6511441 pushed by github-merge-queue Bot
14m 45s main
main
14m 45s