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

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
Update CHANGELOG CI #208: Commit e1b754c pushed by jaybosamiya
February 26, 2024 22:31 50s snapshot-examples
snapshot-examples
February 26, 2024 22:31 50s
Add more files in examples/ to CI CI #207: Pull request #34 synchronize by jaybosamiya
February 26, 2024 22:23 52s snapshot-examples
snapshot-examples
February 26, 2024 22:23 52s
Add more files in examples/ to CI Release #16: Pull request #34 synchronize by jaybosamiya
February 26, 2024 22:23 14s snapshot-examples
snapshot-examples
February 26, 2024 22:23 14s
Ensure testing with verusfmt binary default CI #206: Commit 0ff13c1 pushed by jaybosamiya
February 26, 2024 22:23 1m 7s snapshot-examples
snapshot-examples
February 26, 2024 22:23 1m 7s
Add more files in examples/ to CI CI #205: Pull request #34 synchronize by jaybosamiya
February 26, 2024 22:15 58s snapshot-examples
snapshot-examples
February 26, 2024 22:15 58s
Add more files in examples/ to CI Release #15: Pull request #34 synchronize by jaybosamiya
February 26, 2024 22:15 19s snapshot-examples
snapshot-examples
February 26, 2024 22:15 19s
Run verusfmt on pagetable CI #204: Commit 168e846 pushed by jaybosamiya
February 26, 2024 22:15 47s snapshot-examples
snapshot-examples
February 26, 2024 22:15 47s
Add more files in examples/ to CI CI #203: Pull request #34 synchronize by jaybosamiya
February 26, 2024 22:08 48s snapshot-examples
snapshot-examples
February 26, 2024 22:08 48s
Add more files in examples/ to CI Release #14: Pull request #34 synchronize by jaybosamiya
February 26, 2024 22:08 21s snapshot-examples
snapshot-examples
February 26, 2024 22:08 21s
Prevent rustfmt from touching inside verus!{...} CI #202: Commit e5d9e1d pushed by jaybosamiya
February 26, 2024 22:08 30s snapshot-examples
snapshot-examples
February 26, 2024 22:08 30s
Add more files in examples/ to CI Release #13: Pull request #34 synchronize by jaybosamiya
February 26, 2024 22:08 15s snapshot-examples
snapshot-examples
February 26, 2024 22:08 15s
Add more files in examples/ to CI CI #201: Pull request #34 synchronize by jaybosamiya
February 26, 2024 22:08 35s snapshot-examples
snapshot-examples
February 26, 2024 22:08 35s
Prevent rustfmt from touching inside verus!{...} CI #200: Commit 24a0040 pushed by jaybosamiya
February 26, 2024 22:08 32s snapshot-examples
snapshot-examples
February 26, 2024 22:08 32s
Add more files in examples/ to CI CI #199: Pull request #34 opened by jaybosamiya
February 26, 2024 21:51 35s snapshot-examples
snapshot-examples
February 26, 2024 21:51 35s
Add more files in examples/ to CI Release #12: Pull request #34 opened by jaybosamiya
February 26, 2024 21:51 22s snapshot-examples
snapshot-examples
February 26, 2024 21:51 22s
Check more files in examples/ on CI CI #198: Commit 9849171 pushed by jaybosamiya
February 26, 2024 21:37 35s snapshot-examples
snapshot-examples
February 26, 2024 21:37 35s
chore: bump the patch version CI #197: Commit 1508d14 pushed by jaybosamiya
February 23, 2024 20:53 43s v0.2.4
v0.2.4
February 23, 2024 20:53 43s
chore: bump the patch version Release #11: Commit 1508d14 pushed by jaybosamiya
February 23, 2024 20:53 5m 26s v0.2.4
v0.2.4
February 23, 2024 20:53 5m 26s
chore: bump the patch version CI #196: Commit 1508d14 pushed by jaybosamiya
February 23, 2024 20:52 41s main
main
February 23, 2024 20:52 41s
Switch over to verus-lang organization CI #195: Commit 1f42e62 pushed by jaybosamiya
February 23, 2024 20:48 27s main
main
February 23, 2024 20:48 27s