Skip to content

Actions: verus-lang/verusfmt

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Nicer automated snapshot of files from Verus + weekly auto-updates CI #249: Pull request #40 opened by jaybosamiya
March 7, 2024 23:26 1m 31s verus-snapshot
verus-snapshot
March 7, 2024 23:26 1m 31s
Set up a nightly automatic snapshot refresh CI #248: Commit 86a60e0 pushed by jaybosamiya
March 7, 2024 23:16 1m 15s verus-snapshot
verus-snapshot
March 7, 2024 23:16 1m 15s
wip: nightly verus snapshot check CI #247: Commit 1400b9c pushed by jaybosamiya
March 7, 2024 23:06 1m 13s verus-snapshot
verus-snapshot
March 7, 2024 23:06 1m 13s
wip: nightly verus snapshot check CI #246: Commit 2ceb940 pushed by jaybosamiya
March 7, 2024 23:05 1m 23s verus-snapshot
verus-snapshot
March 7, 2024 23:05 1m 23s
wip: nightly verus snapshot check CI #245: Commit 0c5f9c4 pushed by jaybosamiya
March 7, 2024 23:03 1m 13s verus-snapshot
verus-snapshot
March 7, 2024 23:03 1m 13s
wip: nightly verus snapshot check CI #244: Commit f15a209 pushed by jaybosamiya
March 7, 2024 23:03 1m 19s verus-snapshot
verus-snapshot
March 7, 2024 23:03 1m 19s
wip: nightly verus snapshot check CI #243: Commit 4e420ea pushed by jaybosamiya
March 7, 2024 23:01 1m 19s verus-snapshot
verus-snapshot
March 7, 2024 23:01 1m 19s
wip: nightly verus snapshot check CI #242: Commit c69bf87 pushed by jaybosamiya
March 7, 2024 23:00 1m 22s verus-snapshot
verus-snapshot
March 7, 2024 23:00 1m 22s
wip: nightly verus snapshot check CI #241: Commit f8d11d1 pushed by jaybosamiya
March 7, 2024 22:59 1m 9s verus-snapshot
verus-snapshot
March 7, 2024 22:59 1m 9s
wip: nightly verus snapshot check CI #240: Commit 20bc014 pushed by jaybosamiya
March 7, 2024 22:57 1m 21s verus-snapshot
verus-snapshot
March 7, 2024 22:57 1m 21s
wip: nightly verus snapshot check CI #239: Commit e16c15e pushed by jaybosamiya
March 7, 2024 22:56 1m 28s verus-snapshot
verus-snapshot
March 7, 2024 22:56 1m 28s
Remove the now-redundant old examples CI #238: Commit 7f23932 pushed by jaybosamiya
March 7, 2024 22:55 1m 41s verus-snapshot
verus-snapshot
March 7, 2024 22:55 1m 41s
chore: bump the patch version Release #26: Commit f087358 pushed by jaybosamiya
February 29, 2024 18:32 5m 43s v0.2.7
v0.2.7
February 29, 2024 18:32 5m 43s
chore: bump the patch version CI #237: Commit f087358 pushed by jaybosamiya
February 29, 2024 18:32 1m 23s v0.2.7
v0.2.7
February 29, 2024 18:32 1m 23s
chore: bump the patch version CI #236: Commit f087358 pushed by jaybosamiya
February 29, 2024 18:32 1m 19s main
main
February 29, 2024 18:32 1m 19s
Improve verus macro collapsing (#39) CI #235: Commit 0c0eb35 pushed by jaybosamiya
February 29, 2024 18:18 1m 19s main
main
February 29, 2024 18:18 1m 19s
Improve verus macro collapsing CI #234: Pull request #39 synchronize by jaybosamiya
February 28, 2024 22:56 1m 13s improve-verus-macro-collapsing
improve-verus-macro-collapsing
February 28, 2024 22:56 1m 13s
Improve verus macro collapsing Release #25: Pull request #39 synchronize by jaybosamiya
February 28, 2024 22:56 17s improve-verus-macro-collapsing
improve-verus-macro-collapsing
February 28, 2024 22:56 17s
Update CHANGELOG CI #233: Commit 2a42b0f pushed by jaybosamiya
February 28, 2024 22:56 1m 17s improve-verus-macro-collapsing
improve-verus-macro-collapsing
February 28, 2024 22:56 1m 17s
Improve verus macro collapsing Release #24: Pull request #39 opened by jaybosamiya
February 28, 2024 22:55 21s improve-verus-macro-collapsing
improve-verus-macro-collapsing
February 28, 2024 22:55 21s
Improve verus macro collapsing CI #232: Pull request #39 opened by jaybosamiya
February 28, 2024 22:55 1m 32s improve-verus-macro-collapsing
improve-verus-macro-collapsing
February 28, 2024 22:55 1m 32s