Skip to content

Actions: verus-lang/verus-analyzer

Actions

verus

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verus.yml
136 workflow runs
136 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into release verus #408: Commit 1726741 pushed by parno
7m 20s release
release
7m 20s
Update CHANGELOG verus #407: Commit 6040eac pushed by parno
7m 19s main
main
7m 19s
Bump the Rust version to 1.94.0 (#75) verus #406: Commit bca0b56 pushed by parno
7m 56s main
main
7m 56s
Add tests for real suffix, in light of Verus PR https://github.com/ve… verus #405: Commit 6addd5f pushed by parno
1m 57s main
main
1m 57s
Add support for the new Verus final keyword verus #404: Commit 5747b97 pushed by parno
2m 1s main
main
2m 1s
Fix a typo in the CHANGELOG verus #403: Commit 944ee19 pushed by parno
2m 46s main
main
2m 46s
Merge branch 'main' into release verus #402: Commit 5d3cdd9 pushed by parno
7m 38s release
release
7m 38s
Update CHANGELOG verus #401: Commit 80d3689 pushed by parno
5m 17s main
main
5m 17s
feat: Add Fold Proof Block Command (#73) verus #400: Commit ec9c40a pushed by parno
7m 39s main
main
7m 39s
Add a CHANGELOG.md and supporting infrastructure verus #399: Commit 3b5b023 pushed by parno
7m 26s main
main
7m 26s
Merge branch 'main' into release verus #398: Commit f9addca pushed by parno
7m 32s release
release
7m 32s
Allow use of Rust macro matches! by avoiding confusion with Verus `… verus #397: Commit 8357a2a pushed by parno
7m 47s main
main
7m 47s
Clarify comment verus #396: Commit f1563dc pushed by jaylorch
7m 44s fix-matches
fix-matches
7m 44s
Merge branch 'main' into fix-matches verus #395: Commit ff20caa pushed by jaylorch
16m 59s fix-matches
fix-matches
16m 59s
Bump the Rust version to 1.93.1 verus #394: Commit 7cb064c pushed by parno
7m 39s main
main
7m 39s
Add test for matches! verus #393: Commit 4c2a24c pushed by jaylorch
2m 9s fix-matches
fix-matches
2m 9s
Allow Rust matches! macro verus #392: Commit 7622338 pushed by jaylorch
2m 3s fix-matches
fix-matches
2m 3s
Merge branch 'main' into release verus #391: Commit 81f14c9 pushed by parno
15m 4s release
release
15m 4s
Bump the expected Verus version. verus #390: Commit dd9e781 pushed by parno
7m 32s main
main
7m 32s
Surpress another warning about unused_assignments verus #389: Commit 9f98767 pushed by parno
7m 43s main
main
7m 43s
Surpress another warning about unused_assignments verus #388: Commit d216826 pushed by parno
7m 42s release
release
7m 42s
Surpress a warning about a newly unexpected cfg verus #387: Commit ed38c85 pushed by parno
7m 37s release
release
7m 37s
Strip references before trying to create scip info for an adt. verus #386: Commit 91ea37f pushed by parno
1m 58s scip-fix
scip-fix
1m 58s
Merge branch 'main' into release verus #385: Commit b670b3e pushed by parno
7m 32s release
release
7m 32s
Bump the expected Verus version in anticipation of the release resulting verus #384: Commit 078c3dc pushed by parno
7m 20s main
main
7m 20s