Skip to content

Actions: verus-lang/verusfmt

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Remove a debug aid CI #212: Commit e59dad4 pushed by parno
February 27, 2024 15:19 59s fix-multiline
fix-multiline
February 27, 2024 15:19 59s
fix: Only treat multi-line comments as inline if the entire comment CI #211: Commit 149f098 pushed by parno
February 27, 2024 15:19 19s fix-multiline
fix-multiline
February 27, 2024 15:19 19s
Add more files in examples/ to CI (#34) CI #210: Commit ad8fbf7 pushed by parno
February 27, 2024 02:45 56s main
main
February 27, 2024 02:45 56s
Add more files in examples/ to CI Release #17: Pull request #34 synchronize by jaybosamiya
February 26, 2024 22:31 18s snapshot-examples
snapshot-examples
February 26, 2024 22:31 18s
Add more files in examples/ to CI CI #209: Pull request #34 synchronize by jaybosamiya
February 26, 2024 22:31 51s snapshot-examples
snapshot-examples
February 26, 2024 22:31 51s