Skip to content

Actions: verus-lang/verus-analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
344 workflow runs
344 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a bit more info to the server verus #187: Commit ab20f2f pushed by parno
November 12, 2024 05:39 10m 8s infra
infra
November 12, 2024 05:39 10m 8s
Fuzz Fuzz #42: Scheduled
November 10, 2024 01:06 2s main
main
November 10, 2024 01:06 2s
Explicitly check for the expected version of Rust toolchain that Verus verus #186: Commit b3681b5 pushed by parno
November 4, 2024 16:15 10m 4s infra
infra
November 4, 2024 16:15 10m 4s
Update instructions for building a VSIX to make it more sequential verus #185: Commit 484f143 pushed by parno
November 4, 2024 15:11 10m 14s infra
infra
November 4, 2024 15:11 10m 14s
Merge branch 'main' into infra verus #184: Commit af3fe5d pushed by parno
November 3, 2024 22:27 9m 58s infra
infra
November 3, 2024 22:27 9m 58s
A large collection of fixes to the parser (#38) verus #183: Commit 256c0c5 pushed by parno
November 3, 2024 22:24 10m 6s main
main
November 3, 2024 22:24 10m 6s
A large collection of fixes to the parser CI #24: Pull request #38 opened by parno
November 3, 2024 22:24 16s parsing_fixes
parsing_fixes
November 3, 2024 22:24 16s
Try to honor restrictions on when to expect struct syntax verus #182: Commit 28ebd2a pushed by parno
November 3, 2024 21:30 10m 21s parsing_fixes
parsing_fixes
November 3, 2024 21:30 10m 21s
Generated verus #181: Commit 1f866e4 pushed by parno
November 3, 2024 21:02 10m 10s parsing_fixes
parsing_fixes
November 3, 2024 21:02 10m 10s
Support where clauses that don't end in a comma verus #180: Commit a5d5a99 pushed by parno
November 3, 2024 20:48 10m 17s parsing_fixes
parsing_fixes
November 3, 2024 20:48 10m 17s
Handle an assert-by with a requires clause. verus #179: Commit 132992d pushed by parno
November 3, 2024 20:26 10m 15s parsing_fixes
parsing_fixes
November 3, 2024 20:26 10m 15s
Typo verus #178: Commit 642317e pushed by parno
November 3, 2024 20:11 10m 2s infra
infra
November 3, 2024 20:11 10m 2s
Remove debug verus #177: Commit 2a50076 pushed by parno
November 3, 2024 20:11 10m 9s parsing_fixes
parsing_fixes
November 3, 2024 20:11 10m 9s
Move ad hoc tests into proper tests verus #176: Commit 5af30c3 pushed by parno
November 3, 2024 17:21 10m 14s parsing_fixes
parsing_fixes
November 3, 2024 17:21 10m 14s
Move most Verus keywords to be contextual keywords, so that we can verus #175: Commit 475fe9e pushed by parno
November 3, 2024 17:16 10m 14s parsing_fixes
parsing_fixes
November 3, 2024 17:16 10m 14s
Fuzz Fuzz #41: Scheduled
November 3, 2024 01:08 3s main
main
November 3, 2024 01:08 3s
A bit less debug printing verus #174: Commit 3826559 pushed by parno
November 2, 2024 19:28 10m 5s main
main
November 2, 2024 19:28 10m 5s
Merge branch 'main' into infra verus #173: Commit 3ee9fc1 pushed by parno
October 31, 2024 17:47 10m 10s infra
infra
October 31, 2024 17:47 10m 10s
Fix a brace that was dropped during the merge verus #172: Commit 11d7c7a pushed by parno
October 31, 2024 17:35 10m 22s main
main
October 31, 2024 17:35 10m 22s
Add a simplified harness for testing parsing and lifting to VST (#37) verus #171: Commit b7b9518 pushed by parno
October 31, 2024 17:26 36s main
main
October 31, 2024 17:26 36s
Add a simplified harness for testing parsing and lifting to VST CI #23: Pull request #37 opened by parno
October 31, 2024 17:25 20s testing
testing
October 31, 2024 17:25 20s
Clean up some debugging code verus #170: Commit 0218a39 pushed by parno
October 31, 2024 17:22 36s testing
testing
October 31, 2024 17:22 36s
Auto generated verus #169: Commit 7a87776 pushed by parno
October 31, 2024 17:15 37s testing
testing
October 31, 2024 17:15 37s
Fuzz Fuzz #40: Scheduled
October 27, 2024 01:08 2s main
main
October 27, 2024 01:08 2s
More debugging verus #168: Commit b8333e0 pushed by parno
October 24, 2024 20:49 10m 5s testing
testing
October 24, 2024 20:49 10m 5s