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

Automatic release distribution setup CI #154: Pull request #29 opened by jaybosamiya
February 13, 2024 02:27 44s release-infra
release-infra
February 13, 2024 02:27 44s
cargo dist init CI #153: Commit 955baaf pushed by jaybosamiya
February 13, 2024 02:26 45s release-infra
release-infra
February 13, 2024 02:26 45s
A new approach to handling non-inline single-line comments (#28) CI #152: Commit d7c7300 pushed by jaybosamiya
February 13, 2024 02:18 1m 8s main
main
February 13, 2024 02:18 1m 8s
A new approach to handling non-inline single-line comments CI #151: Pull request #28 synchronize by parno
February 12, 2024 21:58 38s non-inline-comments
non-inline-comments
February 12, 2024 21:58 38s
Adjust regexs to account for a single-line comment right up against an CI #150: Commit 4da554e pushed by parno
February 12, 2024 21:58 41s non-inline-comments
non-inline-comments
February 12, 2024 21:58 41s
A new approach to handling non-inline single-line comments CI #149: Pull request #28 opened by parno
February 10, 2024 02:10 1m 7s non-inline-comments
non-inline-comments
February 10, 2024 02:10 1m 7s
More documentation CI #148: Commit c160e84 pushed by parno
February 10, 2024 02:09 44s non-inline-comments
non-inline-comments
February 10, 2024 02:09 44s
cargo fmt CI #147: Commit dd85cd4 pushed by parno
February 10, 2024 01:59 1m 3s non-inline-comments
non-inline-comments
February 10, 2024 01:59 1m 3s
Need better inline inline detection CI #146: Commit e1f8d62 pushed by parno
February 9, 2024 21:36 21s non-inline-comments
non-inline-comments
February 9, 2024 21:36 21s
More debugging CI #145: Commit 74d8daf pushed by parno
February 9, 2024 21:03 21s non-inline-comments
non-inline-comments
February 9, 2024 21:03 21s
Start experimenting with an alternate approach to managing noninline CI #144: Commit a062fd4 pushed by parno
February 9, 2024 18:44 37s non-inline-comments
non-inline-comments
February 9, 2024 18:44 37s
Update README.md CI #143: Commit dc413da pushed by parno
February 7, 2024 18:42 27s main
main
February 7, 2024 18:42 27s
Add some tips and tricks for improving/fixing verusfmt CI #142: Commit 4d9ada8 pushed by parno
February 7, 2024 18:38 34s main
main
February 7, 2024 18:38 34s
Fix precedence for quantifiers and triple-op exprs (#26) CI #141: Commit cbcd829 pushed by parno
February 7, 2024 18:37 36s main
main
February 7, 2024 18:37 36s
Handle macro-call statements (#27) CI #140: Commit 9fdd735 pushed by parno
February 7, 2024 18:32 52s main
main
February 7, 2024 18:32 52s
fix extra spaces in if-expr with bool negation (#24) CI #139: Commit 91fd350 pushed by parno
February 7, 2024 18:29 28s main
main
February 7, 2024 18:29 28s
Handle macro-call statements CI #138: Pull request #27 opened by jaybosamiya
February 2, 2024 22:07 47s macro-statements
macro-statements
February 2, 2024 22:07 47s
Handle macro-call statements CI #137: Commit ff17d23 pushed by jaybosamiya
February 2, 2024 22:06 28s macro-statements
macro-statements
February 2, 2024 22:06 28s
Handle macro-call statements CI #136: Commit 618e58d pushed by jaybosamiya
February 2, 2024 22:03 51s macro-statements
macro-statements
February 2, 2024 22:03 51s
Handle macro-call statements CI #135: Commit 97c4846 pushed by jaybosamiya
February 2, 2024 22:00 45s macro-statements
macro-statements
February 2, 2024 22:00 45s
Exclude examples from stats for this repo CI #134: Commit 066eaae pushed by jaybosamiya
February 2, 2024 21:25 27s main
main
February 2, 2024 21:25 27s
Fix precedence for quantifiers and triple-op exprs CI #133: Pull request #26 synchronize by jaybosamiya
February 2, 2024 08:41 30s quantifier-tripleop-precedence
quantifier-tripleop-precedence
February 2, 2024 08:41 30s
Fix precedence for quantifiers and triple-op exprs CI #132: Commit 89970e3 pushed by jaybosamiya
February 2, 2024 08:41 42s quantifier-tripleop-precedence
quantifier-tripleop-precedence
February 2, 2024 08:41 42s
Fix precedence for quantifiers and triple-op exprs CI #131: Pull request #26 opened by jaybosamiya
February 2, 2024 08:41 28s quantifier-tripleop-precedence
quantifier-tripleop-precedence
February 2, 2024 08:41 28s
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