Skip to content

Actions: verus-lang/verusfmt

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
514 workflow runs
514 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow enums to be ghost/tracked CI #64: Commit a61f14b pushed by parno
December 18, 2023 20:39 28s main
main
December 18, 2023 20:39 28s
Add support for the global keyword and company CI #63: Commit 6e73848 pushed by parno
December 18, 2023 20:37 27s main
main
December 18, 2023 20:37 27s
Verus now allows constants to be declared open CI #62: Commit ef4ef15 pushed by parno
December 18, 2023 20:20 26s main
main
December 18, 2023 20:20 26s
Don't add a newline after a final single-line prefix comment CI #61: Commit 66570a0 pushed by parno
December 13, 2023 15:44 36s main
main
December 13, 2023 15:44 36s
Don't add a newline after a final single-line prefix comment CI #60: Commit 66570a0 pushed by parno
December 13, 2023 15:43 26s ironsht
ironsht
December 13, 2023 15:43 26s
Add more special handling for triple exprs CI #59: Commit 2a7aed2 pushed by parno
December 13, 2023 15:36 36s ironsht
ironsht
December 13, 2023 15:36 36s
Diagnose weird indenting issue with call to assert_seqs_equal as inte… CI #58: Commit 32fdf49 pushed by parno
December 13, 2023 15:22 32s ironsht
ironsht
December 13, 2023 15:22 32s
Diagnose weird newline issue with proof block's semi-colon as intended CI #57: Commit f16d857 pushed by parno
December 13, 2023 15:19 36s ironsht
ironsht
December 13, 2023 15:19 36s
Make sure to indent when processing a sticky statement list. CI #56: Commit 301bc51 pushed by parno
December 13, 2023 15:17 39s ironsht
ironsht
December 13, 2023 15:17 39s
Resolve odd formatting of return value (i.e., choosing to break there CI #55: Commit 8221629 pushed by parno
December 13, 2023 14:42 39s ironsht
ironsht
December 13, 2023 14:42 39s
Add some breathing space around prefix and suffix comments CI #54: Commit 9b82e1a pushed by parno
December 12, 2023 21:32 33s ironsht
ironsht
December 12, 2023 21:32 33s
Also run rustfmt by default, but allow it to be disabled CI #53: Commit ec4308c pushed by parno
December 12, 2023 21:19 29s ironsht
ironsht
December 12, 2023 21:19 29s
Merge branch 'ironsht' CI #52: Commit 5416971 pushed by parno
December 12, 2023 21:00 31s ironsht
ironsht
December 12, 2023 21:00 31s
Merge branch 'ironsht' CI #51: Commit 5416971 pushed by parno
December 12, 2023 21:00 53s main
main
December 12, 2023 21:00 53s
Remove rest_pat from future work, since it has been addressed CI #50: Commit 9abb671 pushed by parno
December 12, 2023 20:45 32s ironsht
ironsht
December 12, 2023 20:45 32s
Add special handling for one-tuples and their required comma CI #49: Commit e829a70 pushed by parno
December 12, 2023 16:01 46s ironsht
ironsht
December 12, 2023 16:01 46s
Improve handling of visibility, so that we don't mess up when someone CI #48: Commit 3db1f3f pushed by parno
December 12, 2023 14:27 35s ironsht
ironsht
December 12, 2023 14:27 35s
Rename test files for clarity CI #47: Commit b93a800 pushed by parno
December 12, 2023 14:15 39s ironsht
ironsht
December 12, 2023 14:15 39s
Don't double-star ptr_type CI #46: Commit 9639b3f pushed by parno
December 11, 2023 19:44 34s ironsht
ironsht
December 11, 2023 19:44 34s
Collect some example code that we produce and Verus dislikes CI #45: Commit 1900d70 pushed by parno
December 11, 2023 19:39 40s ironsht
ironsht
December 11, 2023 19:39 40s
Improve handling of struct updates CI #44: Commit 265e5bc pushed by parno
December 11, 2023 19:27 36s ironsht
ironsht
December 11, 2023 19:27 36s
Improve handling of float literals CI #43: Commit b68f4d5 pushed by parno
December 9, 2023 03:20 32s ironsht
ironsht
December 9, 2023 03:20 32s
Improve spacing for closures CI #42: Commit fb8f233 pushed by parno
December 9, 2023 01:41 35s ironsht
ironsht
December 9, 2023 01:41 35s
Add basic support for let_else CI #41: Commit 613a992 pushed by parno
December 8, 2023 22:33 54s ironsht
ironsht
December 8, 2023 22:33 54s
A character should be a single character, not many CI #40: Commit 4490ebe pushed by jaybosamiya
November 22, 2023 21:32 37s main
main
November 22, 2023 21:32 37s
ProTip! You can narrow down the results and go further in time using created:<2023-11-22 or the other filters available.