Skip to content

Actions: verus-lang/verus-analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Improved error handling when checking Verus versions release #269: Commit 2ac834c pushed by parno
28m 39s release
release
28m 39s
Fix cargo verus argument ordering release #268: Commit e5e5ee7 pushed by parno
29m 28s release
release
29m 28s
Pass --message-format argument after verus arguments CI #54: Pull request #82 opened by dschoepe
11m 7s dschoepe:fix-argument-order
dschoepe:fix-argument-order
11m 7s
Update Rust version CI #53: Pull request #80 opened by dschoepe
12m 56s dschoepe:1.98.1
dschoepe:1.98.1
12m 56s
Update CHANGELOG release #267: Commit 7b9aad7 pushed by parno
37m 38s release
release
37m 38s
Update CHANGELOG release #266: Commit 92e95a5 pushed by parno
29m 28s release
release
29m 28s
Updates to the README release #265: Commit 199c706 pushed by parno
29m 14s release
release
29m 14s
verus verus #418: Manually run by parno
10m 8s main
main
10m 8s
CI CI #52: Manually run by parno
1m 41s main
main
1m 41s
Update to Verus's Rust version 1.97.1 verus #417: Commit 6675858 pushed by parno
1m 5s main
main
1m 5s
Merge branch 'main' into release release #264: Commit ef609ee pushed by parno
23m 29s release
release
23m 29s
Merge branch 'main' into release verus #416: Commit ef609ee pushed by parno
7m 52s release
release
7m 52s
Update CHANGELOG verus #415: Commit d2c49af pushed by parno
7m 47s main
main
7m 47s
Bump Rust version to 1.96.0 (#78) verus #414: Commit a969c67 pushed by parno
2m 5s main
main
2m 5s
Bump Rust version to 1.96.0 CI #51: Pull request #78 opened by dschoepe
12s dschoepe:1.96.0
dschoepe:1.96.0
12s
When running Verus, do it in a dedicated tmp directory. This allows us verus #413: Commit aeee5aa pushed by parno
7m 57s main
main
7m 57s
Update CHANGELOG verus #412: Commit 60f1a0f pushed by parno
7m 51s main
main
7m 51s
Update CHANGELOG release #263: Commit c9a9e07 pushed by parno
14m 14s release
release
14m 14s
Update CHANGELOG verus #411: Commit c9a9e07 pushed by parno
7m 40s release
release
7m 40s
Run the proof action tests sequentially verus #410: Commit 526df05 pushed by parno
7m 53s main
main
7m 53s
Bump Rust version to 1.95.0 (#77) verus #409: Commit 6a1cf8d pushed by parno
2m 11s main
main
2m 11s
Bump Rust version to 1.95.0 CI #50: Pull request #77 opened by dschoepe
13s dschoepe:1.95.0
dschoepe:1.95.0
13s
Merge branch 'main' into release verus #408: Commit 1726741 pushed by parno
7m 20s release
release
7m 20s
Merge branch 'main' into release release #262: Commit 1726741 pushed by parno
12m 42s release
release
12m 42s
Update CHANGELOG verus #407: Commit 6040eac pushed by parno
7m 19s main
main
7m 19s