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

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
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 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 #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 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 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
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
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
ProTip! You can narrow down the results and go further in time using created:<2024-03-25 or the other filters available.