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

Fix precedence for quantifiers and triple-op exprs CI #130: Commit ea181a9 pushed by jaybosamiya
February 2, 2024 08:39 43s quantifier-tripleop-precedence
quantifier-tripleop-precedence
February 2, 2024 08:39 43s
fix extra spaces in if-expr with bool negation CI #129: Pull request #24 opened by tjhance
February 2, 2024 06:58 28s tjhance:fix-if-with-not
tjhance:fix-if-with-not
February 2, 2024 06:58 28s
Document direct installation from git CI #128: Commit 5169588 pushed by jaybosamiya
February 1, 2024 20:29 29s main
main
February 1, 2024 20:29 29s
Cargo fmt CI #127: Commit 242114b pushed by parno
February 1, 2024 18:57 33s main
main
February 1, 2024 18:57 33s
Collapse fewer single-line comments that appear in a function signature. CI #126: Commit b642a33 pushed by parno
February 1, 2024 18:42 27s main
main
February 1, 2024 18:42 27s
chore: bump patch release CI #125: Commit 9aaaf19 pushed by parno
February 1, 2024 02:33 42s v0.1.6
v0.1.6
February 1, 2024 02:33 42s
chore: bump patch release CI #124: Commit 9aaaf19 pushed by parno
February 1, 2024 02:31 46s main
main
February 1, 2024 02:31 46s
Treat comments inside function signatures as inline by default CI #123: Commit 5395ef2 pushed by parno
February 1, 2024 02:24 28s main
main
February 1, 2024 02:24 28s
chore: bump patch release CI #122: Commit b6dec8d pushed by jaybosamiya
January 31, 2024 22:55 34s v0.1.5
v0.1.5
January 31, 2024 22:55 34s
chore: bump patch release CI #121: Commit b6dec8d pushed by jaybosamiya
January 31, 2024 22:55 34s main
main
January 31, 2024 22:55 34s
CI CI #120: by jaybosamiya
January 29, 2024 21:26 25s v0.1.3
v0.1.3
January 29, 2024 21:26 25s
chore: bump patch release CI #119: Commit 32cdcfe pushed by jaybosamiya
January 29, 2024 21:26 26s v0.1.4
v0.1.4
January 29, 2024 21:26 26s
chore: bump patch release CI #118: Commit 32cdcfe pushed by jaybosamiya
January 29, 2024 21:21 49s main
main
January 29, 2024 21:21 49s
Doc updates CI #117: Commit 98410d2 pushed by parno
January 18, 2024 19:17 1m 51s main
main
January 18, 2024 19:17 1m 51s
chore: bump patch release CI #116: Commit fc27e86 pushed by jaybosamiya
January 18, 2024 00:44 28s main
main
January 18, 2024 00:44 28s
Restore the original version of mimalloc from 173c6c8ece459b72760a27b CI #115: Commit b39f358 pushed by parno
January 18, 2024 00:32 29s main
main
January 18, 2024 00:32 29s
chore: bump patch version CI #114: Commit aa0eda9 pushed by jaybosamiya
January 18, 2024 00:20 38s main
main
January 18, 2024 00:20 38s
Add installation and usage information CI #113: Commit e477694 pushed by jaybosamiya
January 18, 2024 00:13 51s main
main
January 18, 2024 00:13 51s
chore: bump patch version CI #112: Commit 77bb89f pushed by jaybosamiya
January 18, 2024 00:09 32s main
main
January 18, 2024 00:09 32s
Add installation and usage information CI #111: Commit e477694 pushed by jaybosamiya
January 17, 2024 22:36 35s main
main
January 17, 2024 22:36 35s
Add installation and usage information CI #110: Commit ea82fa0 pushed by jaybosamiya
January 17, 2024 22:35 52s main
main
January 17, 2024 22:35 52s
Fix a bug introduced in 933f72b which only produced the output of CI #109: Commit 99af0b4 pushed by parno
January 17, 2024 22:10 1m 1s main
main
January 17, 2024 22:10 1m 1s
ProTip! You can narrow down the results and go further in time using created:<2024-01-17 or the other filters available.