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

Update snapshot examples, and add new test CI #231: Commit a5902c7 pushed by jaybosamiya
February 28, 2024 22:51 1m 28s improve-verus-macro-collapsing
improve-verus-macro-collapsing
February 28, 2024 22:51 1m 28s
chore: bump the patch version CI #230: Commit 75da34d pushed by jaybosamiya
February 28, 2024 03:30 1m 29s v0.2.6
v0.2.6
February 28, 2024 03:30 1m 29s
chore: bump the patch version Release #23: Commit 75da34d pushed by jaybosamiya
February 28, 2024 03:30 7m 33s v0.2.6
v0.2.6
February 28, 2024 03:30 7m 33s
chore: bump the patch version CI #229: Commit 75da34d pushed by jaybosamiya
February 28, 2024 03:28 1m 34s main
main
February 28, 2024 03:28 1m 34s
Prevent rustfmt from messing with verusfmt (#38) CI #228: Commit ccac41b pushed by jaybosamiya
February 28, 2024 03:15 1m 28s main
main
February 28, 2024 03:15 1m 28s
Prevent rustfmt from messing with verusfmt Release #22: Pull request #38 synchronize by jaybosamiya
February 27, 2024 19:17 44s rustfmt-without-verus-call
rustfmt-without-verus-call
February 27, 2024 19:17 44s
Prevent rustfmt from messing with verusfmt CI #227: Pull request #38 synchronize by jaybosamiya
February 27, 2024 19:17 2m 24s rustfmt-without-verus-call
rustfmt-without-verus-call
February 27, 2024 19:17 2m 24s
Add vstd snapshot test CI #226: Commit 5833f1c pushed by jaybosamiya
February 27, 2024 19:17 1m 32s rustfmt-without-verus-call
rustfmt-without-verus-call
February 27, 2024 19:17 1m 32s
Prevent rustfmt from messing with verusfmt CI #225: Pull request #38 opened by jaybosamiya
February 27, 2024 19:12 1m 23s rustfmt-without-verus-call
rustfmt-without-verus-call
February 27, 2024 19:12 1m 23s
Prevent rustfmt from messing with verusfmt Release #21: Pull request #38 opened by jaybosamiya
February 27, 2024 19:12 1m 16s rustfmt-without-verus-call
rustfmt-without-verus-call
February 27, 2024 19:12 1m 16s
Enable NR snapshot test CI #224: Commit 1de823c pushed by jaybosamiya
February 27, 2024 19:08 1m 51s rustfmt-without-verus-call
rustfmt-without-verus-call
February 27, 2024 19:08 1m 51s
Verusfmt CLI improvements + Idempotence Test (#37) CI #223: Commit af5db34 pushed by jaybosamiya
February 27, 2024 18:07 50s main
main
February 27, 2024 18:07 50s
Verusfmt CLI improvements + Idempotence Test Release #20: Pull request #37 opened by jaybosamiya
February 27, 2024 18:05 19s idempotency-test
idempotency-test
February 27, 2024 18:05 19s
Verusfmt CLI improvements + Idempotence Test CI #222: Pull request #37 opened by jaybosamiya
February 27, 2024 18:05 1m 2s idempotency-test
idempotency-test
February 27, 2024 18:05 1m 2s
Update CHANGELOG CI #221: Commit 2d0fc4b pushed by jaybosamiya
February 27, 2024 18:02 52s idempotency-test
idempotency-test
February 27, 2024 18:02 52s
Add an idempotency minimizer script to utils CI #220: Commit 508305b pushed by jaybosamiya
February 27, 2024 18:01 1m 23s idempotency-test
idempotency-test
February 27, 2024 18:01 1m 23s
Add a convenient idempotency tester CI #219: Commit 80bcc25 pushed by jaybosamiya
February 27, 2024 17:48 51s idempotency-fix
idempotency-fix
February 27, 2024 17:48 51s
Add a convenient idempotency tester CI #218: Commit a3e6ccb pushed by jaybosamiya
February 27, 2024 17:40 55s idempotency-fix
idempotency-fix
February 27, 2024 17:40 55s
Update tests to use new library interface CI #217: Commit 208dca5 pushed by jaybosamiya
February 27, 2024 17:24 2m 18s idempotency-fix
idempotency-fix
February 27, 2024 17:24 2m 18s
chore: bump the patch version Release #19: Commit 716c72f pushed by jaybosamiya
February 27, 2024 16:20 5m 29s v0.2.5
v0.2.5
February 27, 2024 16:20 5m 29s
chore: bump the patch version CI #216: Commit 716c72f pushed by jaybosamiya
February 27, 2024 16:20 1m 12s v0.2.5
v0.2.5
February 27, 2024 16:20 1m 12s
chore: bump the patch version CI #215: Commit 716c72f pushed by jaybosamiya
February 27, 2024 16:17 1m 15s main
main
February 27, 2024 16:17 1m 15s
fix: Only treat multi-line comments as inline if the entire comment i… CI #214: Commit f30fea9 pushed by parno
February 27, 2024 15:25 51s main
main
February 27, 2024 15:25 51s
fix: Only treat multi-line comments as inline if the entire comment is on a single line. Release #18: Pull request #35 opened by parno
February 27, 2024 15:23 18s fix-multiline
fix-multiline
February 27, 2024 15:23 18s
fix: Only treat multi-line comments as inline if the entire comment is on a single line. CI #213: Pull request #35 opened by parno
February 27, 2024 15:23 52s fix-multiline
fix-multiline
February 27, 2024 15:23 52s