Skip to content

Actions: verus-lang/verusfmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
242 workflow run results
242 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Apply cargo clippy fixes, and enable clippy on CI (#45) CI #265: Commit 6712d10 pushed by jaybosamiya
March 25, 2024 00:22 1m 58s main
main
March 25, 2024 00:22 1m 58s
Apply cargo clippy fixes, and enable clippy on CI Release #33: Pull request #45 opened by jaybosamiya
March 21, 2024 18:53 21s clippy-fixes
clippy-fixes
March 21, 2024 18:53 21s
Apply cargo clippy fixes, and enable clippy on CI CI #264: Pull request #45 opened by jaybosamiya
March 21, 2024 18:53 1m 53s clippy-fixes
clippy-fixes
March 21, 2024 18:53 1m 53s
Add clippy check to CI CI #263: Commit a3f02f6 pushed by jaybosamiya
March 21, 2024 18:50 1m 58s clippy-fixes
clippy-fixes
March 21, 2024 18:50 1m 58s
SnapshotRefresh SnapshotRefresh #2: Scheduled
March 18, 2024 00:35 14s main
main
March 18, 2024 00:35 14s
Improve support for loop clauses (#44) CI #262: Commit c3009a3 pushed by jaybosamiya
March 13, 2024 20:07 1m 51s main
main
March 13, 2024 20:07 1m 51s
Improve support for loop clauses CI #261: Pull request #44 opened by jaybosamiya
March 13, 2024 18:39 1m 23s invariant_except_break
invariant_except_break
March 13, 2024 18:39 1m 23s
Improve support for loop clauses Release #32: Pull request #44 opened by jaybosamiya
March 13, 2024 18:39 20s invariant_except_break
invariant_except_break
March 13, 2024 18:39 20s
Improve support for loop clauses CI #260: Commit feaa868 pushed by jaybosamiya
March 13, 2024 18:38 2m 12s invariant_except_break
invariant_except_break
March 13, 2024 18:38 2m 12s
SnapshotRefresh SnapshotRefresh #1: Manually run by jaybosamiya
March 12, 2024 17:04 19s main
main
March 12, 2024 17:04 19s
Nicer automated snapshot of files from Verus + weekly auto-updates (#40) CI #259: Commit ba5628f pushed by jaybosamiya
March 12, 2024 17:03 1m 39s main
main
March 12, 2024 17:03 1m 39s
Nicer automated snapshot of files from Verus + weekly auto-updates CI #258: Pull request #40 synchronize by jaybosamiya
March 12, 2024 16:59 1m 26s verus-snapshot
verus-snapshot
March 12, 2024 16:59 1m 26s
Nicer automated snapshot of files from Verus + weekly auto-updates Release #31: Pull request #40 synchronize by jaybosamiya
March 12, 2024 16:59 16s verus-snapshot
verus-snapshot
March 12, 2024 16:59 16s
Switch snapshot refresh to weekly CI #257: Commit 3b7003d pushed by jaybosamiya
March 12, 2024 16:59 1m 13s verus-snapshot
verus-snapshot
March 12, 2024 16:59 1m 13s
chore: bump the patch version Release #30: Commit c05ea95 pushed by jaybosamiya
March 12, 2024 16:34 5m 21s v0.2.8
v0.2.8
March 12, 2024 16:34 5m 21s
chore: bump the patch version CI #256: Commit c05ea95 pushed by jaybosamiya
March 12, 2024 16:34 1m 16s v0.2.8
v0.2.8
March 12, 2024 16:34 1m 16s
chore: bump the patch version CI #255: Commit c05ea95 pushed by jaybosamiya
March 12, 2024 16:34 1m 24s main
main
March 12, 2024 16:34 1m 24s
For loop fixes (#41) CI #254: Commit 03e6101 pushed by jaybosamiya
March 12, 2024 16:33 1m 20s main
main
March 12, 2024 16:33 1m 20s
For loop fixes CI #253: Pull request #41 opened by jaybosamiya
March 12, 2024 16:21 1m 12s forloop_fixes
forloop_fixes
March 12, 2024 16:21 1m 12s
For loop fixes Release #29: Pull request #41 opened by jaybosamiya
March 12, 2024 16:21 22s forloop_fixes
forloop_fixes
March 12, 2024 16:21 22s
Add for-loop support, new in Verus CI #252: Commit 501575f pushed by jaybosamiya
March 12, 2024 16:20 1m 18s forloop_fixes
forloop_fixes
March 12, 2024 16:20 1m 18s
Nicer automated snapshot of files from Verus + weekly auto-updates CI #251: Pull request #40 synchronize by jaybosamiya
March 8, 2024 06:43 1m 12s verus-snapshot
verus-snapshot
March 8, 2024 06:43 1m 12s
Nicer automated snapshot of files from Verus + weekly auto-updates Release #28: Pull request #40 synchronize by jaybosamiya
March 8, 2024 06:43 14s verus-snapshot
verus-snapshot
March 8, 2024 06:43 14s
Switch snapshot refresh to weekly CI #250: Commit c344872 pushed by jaybosamiya
March 8, 2024 06:43 1m 27s verus-snapshot
verus-snapshot
March 8, 2024 06:43 1m 27s
Nicer automated snapshot of files from Verus + weekly auto-updates Release #27: Pull request #40 opened by jaybosamiya
March 7, 2024 23:26 20s verus-snapshot
verus-snapshot
March 7, 2024 23:26 20s