Skip to content

Actions: verus-lang/verusfmt

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

"Handle" macro_rules CI #36: Commit 7345329 pushed by parno
November 16, 2023 19:50 40s ironsht
ironsht
November 16, 2023 19:50 40s
Support abi and where_clause CI #35: Commit 169c528 pushed by parno
November 16, 2023 19:45 34s ironsht
ironsht
November 16, 2023 19:45 34s
Add support for abi CI #34: Commit ff97974 pushed by parno
November 16, 2023 19:34 38s ironsht
ironsht
November 16, 2023 19:34 38s
Improve formatting of record_pat CI #33: Commit 113282d pushed by parno
November 16, 2023 19:28 54s ironsht
ironsht
November 16, 2023 19:28 54s
Start working on for loops CI #32: Commit e936a5b pushed by parno
November 15, 2023 18:25 33s ironsht
ironsht
November 15, 2023 18:25 33s
Fix some issues with lifetimes (#16) CI #31: Commit ace91ab pushed by parno
November 15, 2023 17:49 31s main
main
November 15, 2023 17:49 31s
Add support for type_bound_list (#14) CI #30: Commit 17e3985 pushed by parno
November 15, 2023 17:49 33s main
main
November 15, 2023 17:49 33s
Add support for while loops with invariants. (#13) CI #29: Commit f28738c pushed by parno
November 15, 2023 17:48 36s main
main
November 15, 2023 17:48 36s
Add support for while loops with invariants. CI #28: Pull request #13 synchronize by parno
November 15, 2023 17:48 31s while-invariants
while-invariants
November 15, 2023 17:48 31s
Merge branch 'main' into while-invariants CI #27: Commit 781e1f9 pushed by parno
November 15, 2023 17:48 27s while-invariants
while-invariants
November 15, 2023 17:48 27s
Don't add extra newlines for normal // comments (#12) CI #26: Commit 2622dcf pushed by parno
November 15, 2023 17:45 34s main
main
November 15, 2023 17:45 34s
Fix some issues with lifetimes CI #25: Pull request #16 opened by parno
November 15, 2023 17:37 38s lifetimes
lifetimes
November 15, 2023 17:37 38s
Fix spacing around lifetimes CI #24: Commit 09bbd6d pushed by parno
November 15, 2023 17:34 54s lifetimes
lifetimes
November 15, 2023 17:34 54s
Add support for type_bound_list CI #23: Pull request #14 opened by parno
November 15, 2023 16:47 40s type_bound_list
type_bound_list
November 15, 2023 16:47 40s
Add support for type_bound_list CI #22: Commit e947b8b pushed by parno
November 15, 2023 16:46 36s type_bound_list
type_bound_list
November 15, 2023 16:46 36s
Add support for while loops with invariants. CI #21: Pull request #13 opened by parno
November 15, 2023 15:41 26s while-invariants
while-invariants
November 15, 2023 15:41 26s
Add support for while loops with invariants. CI #20: Commit f0d6aae pushed by parno
November 15, 2023 15:40 46s while-invariants
while-invariants
November 15, 2023 15:40 46s
Don't add extra newlines for normal // comments CI #19: Pull request #12 opened by parno
November 15, 2023 15:14 36s comment-fix
comment-fix
November 15, 2023 15:14 36s
Format the formatter CI #18: Commit 4f2b7b3 pushed by parno
November 15, 2023 15:11 45s comment-fix
comment-fix
November 15, 2023 15:11 45s
Fix wildcard type annotation (#11) CI #17: Commit c021b73 pushed by pratapsingh1729
November 11, 2023 02:35 57s main
main
November 11, 2023 02:35 57s
Fix wildcard type annotation CI #16: Pull request #11 synchronize by pratapsingh1729
November 10, 2023 19:21 49s pratap-fix-wildcard-annot
pratap-fix-wildcard-annot
November 10, 2023 19:21 49s
improve handling of _ per Bryan's suggestion CI #15: Commit e3c4e5e pushed by pratapsingh1729
November 10, 2023 19:21 36s pratap-fix-wildcard-annot
pratap-fix-wildcard-annot
November 10, 2023 19:21 36s
Fix wildcard type annotation CI #14: Pull request #11 opened by pratapsingh1729
November 10, 2023 16:50 1m 0s pratap-fix-wildcard-annot
pratap-fix-wildcard-annot
November 10, 2023 16:50 1m 0s
fix wildcard type annotation CI #13: Commit ad3654f pushed by pratapsingh1729
November 10, 2023 16:49 26s pratap-fix-wildcard-annot
pratap-fix-wildcard-annot
November 10, 2023 16:49 26s
Add support for the rename item (#7) CI #12: Commit 73910ea pushed by jaybosamiya
November 10, 2023 16:31 46s main
main
November 10, 2023 16:31 46s