Skip to content

Actions: verus-lang/verusfmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
704 workflow runs
704 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add support for the rename item CI #11: Pull request #7 synchronize by pratapsingh1729
November 10, 2023 16:30 44s pratap-support-rename-item
pratap-support-rename-item
November 10, 2023 16:30 44s
update via rebase CI #10: Commit 183d6a5 pushed by pratapsingh1729
November 10, 2023 16:30 29s pratap-support-rename-item
pratap-support-rename-item
November 10, 2023 16:30 29s
Handle keyword-prefixed identifiers, etc. (#8) CI #9: Commit 223251c pushed by jaybosamiya
November 10, 2023 15:43 46s main
main
November 10, 2023 15:43 46s
Automatically test that syntax-rs is unchanged (#9) CI #8: Commit b574328 pushed by jaybosamiya
November 10, 2023 10:11 42s main
main
November 10, 2023 10:11 42s
Automatically test that syntax-rs is unchanged CI #7: Pull request #9 opened by jaybosamiya
November 10, 2023 10:11 27s syntax-rs-autotest
syntax-rs-autotest
November 10, 2023 10:11 27s
Automatically test that syntax-rs is unchanged CI #6: Commit b9cc079 pushed by jaybosamiya
November 10, 2023 10:07 40s syntax-rs-autotest
syntax-rs-autotest
November 10, 2023 10:07 40s
Handle keyword-prefixed identifiers CI #5: Pull request #8 opened by jaybosamiya
November 10, 2023 09:50 36s keyword-matches
keyword-matches
November 10, 2023 09:50 36s
ProTip! You can narrow down the results and go further in time using created:<2023-11-10 or the other filters available.