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

For snapshot CI, make sure to have latest release CI #282: Commit ddcaf3b pushed by jaybosamiya
March 28, 2024 18:15 1m 49s main
main
March 28, 2024 18:15 1m 49s
SnapshotRefresh SnapshotRefresh #5: Manually run by jaybosamiya
March 28, 2024 18:13 25s main
main
March 28, 2024 18:13 25s
Make snapshot diffs smaller CI #281: Commit 3ee0a1e pushed by jaybosamiya
March 28, 2024 18:12 2m 20s main
main
March 28, 2024 18:12 2m 20s
style: re-sort _strs in verus.pest CI #280: Commit 5ebfb0e pushed by jaybosamiya
March 27, 2024 18:03 1m 57s main
main
March 27, 2024 18:03 1m 57s
chore: bump the patch version CI #279: Commit 0b118e0 pushed by jaybosamiya
March 27, 2024 17:47 1m 41s v0.2.10
v0.2.10
March 27, 2024 17:47 1m 41s
chore: bump the patch version Release #38: Commit 0b118e0 pushed by jaybosamiya
March 27, 2024 17:47 6m 1s v0.2.10
v0.2.10
March 27, 2024 17:47 6m 1s
chore: bump the patch version CI #278: Commit 0b118e0 pushed by jaybosamiya
March 27, 2024 17:47 1m 34s main
main
March 27, 2024 17:47 1m 34s
Update CHANGELOG CI #277: Commit 3936d69 pushed by jaybosamiya
March 27, 2024 17:45 1m 20s main
main
March 27, 2024 17:45 1m 20s
Add support for broadcast proof, broadcast group, and `broadcast … CI #276: Commit 1dc506c pushed by jaybosamiya
March 27, 2024 17:44 1m 36s main
main
March 27, 2024 17:44 1m 36s
Add support for broadcast proof, broadcast group, and broadcast use Release #37: Pull request #48 opened by utaal-b
March 27, 2024 09:32 18s broadcast-proof-use
broadcast-proof-use
March 27, 2024 09:32 18s
Add support for broadcast proof, broadcast group, and broadcast use CI #275: Pull request #48 opened by utaal-b
March 27, 2024 09:32 1m 29s broadcast-proof-use
broadcast-proof-use
March 27, 2024 09:32 1m 29s
add support for broadcast use and broadcast group syntax CI #274: Commit 43b625f pushed by utaal-b
March 27, 2024 09:30 1m 27s broadcast-proof-use
broadcast-proof-use
March 27, 2024 09:30 1m 27s
suggest cargo install --locked cargo-insta Release #36: Pull request #47 opened by utaal-b
March 27, 2024 08:01 18s readme-testing-hint
readme-testing-hint
March 27, 2024 08:01 18s
suggest cargo install --locked cargo-insta CI #273: Pull request #47 opened by utaal-b
March 27, 2024 08:01 1m 26s readme-testing-hint
readme-testing-hint
March 27, 2024 08:01 1m 26s
suggest cargo install --locked cargo-insta CI #272: Commit 5de3e63 pushed by utaal-b
March 27, 2024 08:00 1m 25s readme-testing-hint
readme-testing-hint
March 27, 2024 08:00 1m 25s
Verus snapshot update CI #271: Pull request #46 synchronize by jaybosamiya
March 25, 2024 20:25 1m 4s verus-snapshot-update
verus-snapshot-update
March 25, 2024 20:25 1m 4s
Verus snapshot update Release #35: Pull request #46 synchronize by jaybosamiya
March 25, 2024 20:25 25s verus-snapshot-update
verus-snapshot-update
March 25, 2024 20:25 25s
chore: update to latest Verus snapshot CI #270: Commit 5252a77 pushed by jaybosamiya
March 25, 2024 20:24 1m 11s verus-snapshot-update
verus-snapshot-update
March 25, 2024 20:24 1m 11s
chore: update vstd snapshot CI #269: Commit 72aea47 pushed by jaybosamiya
March 25, 2024 20:23 1m 27s main
main
March 25, 2024 20:23 1m 27s
chore: bump the patch version Release #34: Commit 3ba6ede pushed by jaybosamiya
March 25, 2024 19:49 5m 37s v0.2.9
v0.2.9
March 25, 2024 19:49 5m 37s
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