Skip to content

Actions: verus-lang/verus-analyzer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
391 workflow runs
391 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix various aspects of lifting operators into VST (#41) release #222: Commit 80ab349 pushed by parno
December 20, 2024 00:58 15m 35s release
release
December 20, 2024 00:58 15m 35s
Fix various aspects of lifting operators into VST (#41) verus #259: Commit 80ab349 pushed by parno
December 20, 2024 00:58 7m 58s release
release
December 20, 2024 00:58 7m 58s
Fix various aspects of lifting operators into VST (#41) verus #258: Commit 80ab349 pushed by parno
December 20, 2024 00:25 8m 19s main
main
December 20, 2024 00:25 8m 19s
Fix various aspects of lifting operators into VST CI #27: Pull request #41 opened by parno
December 20, 2024 00:25 16s vst-fixes
vst-fixes
December 20, 2024 00:25 16s
Another example verus #257: Commit 2d6b73a pushed by parno
December 19, 2024 22:05 8m 10s vst-fixes
vst-fixes
December 19, 2024 22:05 8m 10s
More forms of extensional equality verus #256: Commit 42eca32 pushed by parno
December 19, 2024 19:13 8m 8s vst-fixes
vst-fixes
December 19, 2024 19:13 8m 8s
Add support for lifting <==> verus #255: Commit 5c68b20 pushed by parno
December 19, 2024 17:59 7m 58s vst-fixes
vst-fixes
December 19, 2024 17:59 7m 58s
Don't hard code the path separator when invoking Verus. verus #254: Commit c90183e pushed by parno
December 18, 2024 20:12 7m 59s release
release
December 18, 2024 20:12 7m 59s
Don't hard code the path separator when invoking Verus. release #221: Commit c90183e pushed by parno
December 18, 2024 20:12 17m 46s release
release
December 18, 2024 20:12 17m 46s
Don't hard code the path separator when invoking Verus. verus #253: Commit c90183e pushed by parno
December 18, 2024 20:00 8m 13s main
main
December 18, 2024 20:00 8m 13s
More debugging verus #252: Commit 8dce2ea pushed by parno
December 16, 2024 21:31 8m 6s proc-macro-enabling
proc-macro-enabling
December 16, 2024 21:31 8m 6s
Debugging verus #251: Commit b50e1a5 pushed by parno
December 16, 2024 02:47 7m 58s proc-macro-enabling
proc-macro-enabling
December 16, 2024 02:47 7m 58s
Display Verus version in the mouse over for Verus Analyzer status bar verus #250: Commit 9c9d8e1 pushed by parno
December 14, 2024 18:34 8m 20s main
main
December 14, 2024 18:34 8m 20s
Add a PR template verus #249: Commit 791ed9d pushed by parno
December 13, 2024 20:00 8m 6s main
main
December 13, 2024 20:00 8m 6s
Update issue templates verus #248: Commit bcbdba7 pushed by parno
December 13, 2024 19:55 8m 0s main
main
December 13, 2024 19:55 8m 0s
Add a config setting for the Verus binary to use and then use it inside verus #247: Commit 06f91da pushed by parno
December 13, 2024 19:42 7m 56s main
main
December 13, 2024 19:42 7m 56s
Small example of using a proc-macro that we need to expand verus #246: Commit 7ee68d9 pushed by parno
December 13, 2024 13:09 8m 18s main
main
December 13, 2024 13:09 8m 18s
Use an absolute path to Verus release #220: Commit 3e43467 pushed by parno
December 12, 2024 20:39 16m 9s release
release
December 12, 2024 20:39 16m 9s
Use an absolute path to Verus verus #245: Commit 3e43467 pushed by parno
December 12, 2024 20:39 8m 45s release
release
December 12, 2024 20:39 8m 45s
Use an absolute path to Verus verus #244: Commit 3e43467 pushed by parno
December 12, 2024 20:29 8m 9s main
main
December 12, 2024 20:29 8m 9s
More debug verus #243: Commit 2079495 pushed by parno
December 12, 2024 20:23 2m 17s main
main
December 12, 2024 20:23 2m 17s
Debug workflow verus #242: Commit 8ca68de pushed by parno
December 12, 2024 20:20 2m 12s main
main
December 12, 2024 20:20 2m 12s
Update Verus workflow to test proof actions verus #241: Commit 224e62f pushed by parno
December 12, 2024 20:12 2m 13s main
main
December 12, 2024 20:12 2m 13s
Don't use println! for errors/warnings: In the extension, stdio is verus #240: Commit 76aa830 pushed by parno
December 12, 2024 20:03 6m 35s main
main
December 12, 2024 20:03 6m 35s
More tests of recent syntax fixes verus #239: Commit daccdf1 pushed by parno
December 12, 2024 16:15 6m 24s main
main
December 12, 2024 16:15 6m 24s