Skip to content

Actions: verus-lang/verusfmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
622 workflow runs
622 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: bump the patch version CI #268: Commit 3ba6ede pushed by jaybosamiya
March 25, 2024 19:49 1m 21s v0.2.9
v0.2.9
March 25, 2024 19:49 1m 21s
chore: bump the patch version CI #267: Commit 3ba6ede pushed by jaybosamiya
March 25, 2024 19:49 1m 26s main
main
March 25, 2024 19:49 1m 26s
SnapshotRefresh SnapshotRefresh #4: Manually run by jaybosamiya
March 25, 2024 18:34 17s main
main
March 25, 2024 18:34 17s
Provide additional permissions to snapshot-refresh CI #266: Commit c01c05e pushed by jaybosamiya
March 25, 2024 18:33 1m 43s main
main
March 25, 2024 18:33 1m 43s
SnapshotRefresh SnapshotRefresh #3: Scheduled
March 25, 2024 00:35 14s main
main
March 25, 2024 00:35 14s
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 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 #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 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 Release #31: Pull request #40 synchronize by jaybosamiya
March 12, 2024 16:59 16s verus-snapshot
verus-snapshot
March 12, 2024 16:59 16s
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
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 Release #29: Pull request #41 opened by jaybosamiya
March 12, 2024 16:21 22s forloop_fixes
forloop_fixes
March 12, 2024 16:21 22s
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
ProTip! You can narrow down the results and go further in time using created:<2024-03-12 or the other filters available.