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

SnapshotRefresh SnapshotRefresh #9: Scheduled
April 8, 2024 00:36 20s main
main
April 8, 2024 00:36 20s
add a test that broadcast use items should not eat trailing spaces Release #45: Pull request #53 opened by utaal
April 7, 2024 20:47 18s broadcast-use-dont-eat-spaces
broadcast-use-dont-eat-spaces
April 7, 2024 20:47 18s
add a test that broadcast use items should not eat trailing spaces CI #296: Pull request #53 opened by utaal
April 7, 2024 20:47 1m 24s broadcast-use-dont-eat-spaces
broadcast-use-dont-eat-spaces
April 7, 2024 20:47 1m 24s
add a test that broadcast use items should not eat trailing spaces CI #295: Commit 2f1a590 pushed by utaal
April 7, 2024 20:45 1m 18s broadcast-use-dont-eat-spaces
broadcast-use-dont-eat-spaces
April 7, 2024 20:45 1m 18s
support attributes on broadcast group items Release #44: Pull request #52 opened by utaal
April 7, 2024 20:17 22s support-attributes-on-broadcast-group
support-attributes-on-broadcast-group
April 7, 2024 20:17 22s
support attributes on broadcast group items CI #294: Pull request #52 opened by utaal
April 7, 2024 20:17 1m 36s support-attributes-on-broadcast-group
support-attributes-on-broadcast-group
April 7, 2024 20:17 1m 36s
support attributes on broadcast group items CI #293: Commit f041289 pushed by utaal
April 7, 2024 20:17 1m 35s support-attributes-on-broadcast-group
support-attributes-on-broadcast-group
April 7, 2024 20:17 1m 35s
chore: bump the patch version Release #43: Commit d3dda00 pushed by jaybosamiya
April 2, 2024 19:54 4m 25s v0.2.11
v0.2.11
April 2, 2024 19:54 4m 25s
chore: bump the patch version CI #292: Commit d3dda00 pushed by jaybosamiya
April 2, 2024 19:54 1m 32s v0.2.11
v0.2.11
April 2, 2024 19:54 1m 32s
chore: bump the patch version CI #291: Commit d3dda00 pushed by jaybosamiya
April 2, 2024 19:53 1m 30s main
main
April 2, 2024 19:53 1m 30s
chore: bump the patch version Release #42: Commit 80feeda pushed by jaybosamiya
April 2, 2024 19:19 3m 36s v0.2.11
v0.2.11
April 2, 2024 19:19 3m 36s
chore: bump the patch version CI #290: Commit 80feeda pushed by jaybosamiya
April 2, 2024 19:19 1m 35s v0.2.11
v0.2.11
April 2, 2024 19:19 1m 35s
chore: bump the patch version CI #289: Commit 80feeda pushed by jaybosamiya
April 2, 2024 19:19 1m 33s main
main
April 2, 2024 19:19 1m 33s
Verus snapshot update (#46) CI #288: Commit 561a445 pushed by jaybosamiya
April 2, 2024 17:31 1m 35s main
main
April 2, 2024 17:31 1m 35s
Verus snapshot update Release #41: Pull request #46 reopened by jaybosamiya
April 2, 2024 17:28 27s verus-snapshot-update
verus-snapshot-update
April 2, 2024 17:28 27s
Verus snapshot update CI #287: Pull request #46 reopened by jaybosamiya
April 2, 2024 17:28 1m 34s verus-snapshot-update
verus-snapshot-update
April 2, 2024 17:28 1m 34s
SnapshotRefresh SnapshotRefresh #8: Manually run by jaybosamiya
April 2, 2024 17:27 19s main
main
April 2, 2024 17:27 19s
Improve rustfmt.toml support (#51) CI #286: Commit b4d2bc6 pushed by jaybosamiya
April 2, 2024 13:57 1m 42s main
main
April 2, 2024 13:57 1m 42s
Improve rustfmt.toml support CI #285: Pull request #51 opened by jaybosamiya
April 1, 2024 23:34 1m 48s rustfmt-toml-support
rustfmt-toml-support
April 1, 2024 23:34 1m 48s
Improve rustfmt.toml support Release #40: Pull request #51 opened by jaybosamiya
April 1, 2024 23:34 16s rustfmt-toml-support
rustfmt-toml-support
April 1, 2024 23:34 16s
Update CHANGELOG CI #284: Commit 086146e pushed by jaybosamiya
April 1, 2024 23:22 1m 47s rustfmt-toml-support
rustfmt-toml-support
April 1, 2024 23:22 1m 47s
SnapshotRefresh SnapshotRefresh #7: Scheduled
April 1, 2024 00:38 23s main
main
April 1, 2024 00:38 23s
Verus snapshot update Release #39: Pull request #46 reopened by jaybosamiya
March 28, 2024 18:18 24s verus-snapshot-update
verus-snapshot-update
March 28, 2024 18:18 24s
Verus snapshot update CI #283: Pull request #46 reopened by jaybosamiya
March 28, 2024 18:18 1m 20s verus-snapshot-update
verus-snapshot-update
March 28, 2024 18:18 1m 20s
SnapshotRefresh SnapshotRefresh #6: Manually run by jaybosamiya
March 28, 2024 18:16 21s main
main
March 28, 2024 18:16 21s