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

Support generic argument binding CI #317: Pull request #58 opened by jaybosamiya
April 23, 2024 05:15 1m 23s assoc-type-constraint
assoc-type-constraint
April 23, 2024 05:15 1m 23s
Support generic argument binding CI #316: Commit e4a7207 pushed by jaybosamiya
April 23, 2024 05:14 1m 18s assoc-type-constraint
assoc-type-constraint
April 23, 2024 05:14 1m 18s
SnapshotRefresh SnapshotRefresh #11: Scheduled
April 22, 2024 00:36 21s main
main
April 22, 2024 00:36 21s
Verus snapshot update (#57) CI #315: Commit ef62085 pushed by jaybosamiya
April 15, 2024 21:16 1m 23s main
main
April 15, 2024 21:16 1m 23s
Verus snapshot update Release #52: Pull request #57 reopened by jaybosamiya
April 15, 2024 21:15 20s verus-snapshot-update
verus-snapshot-update
April 15, 2024 21:15 20s
Verus snapshot update CI #314: Pull request #57 reopened by jaybosamiya
April 15, 2024 21:15 1m 31s verus-snapshot-update
verus-snapshot-update
April 15, 2024 21:15 1m 31s
SnapshotRefresh SnapshotRefresh #10: Scheduled
April 15, 2024 03:04 16s main
main
April 15, 2024 03:04 16s
chore: bump the minor version Release #51: Commit d656625 pushed by jaybosamiya
April 11, 2024 20:20 5m 43s v0.3.0
v0.3.0
April 11, 2024 20:20 5m 43s
chore: bump the minor version CI #313: Commit d656625 pushed by jaybosamiya
April 11, 2024 20:20 2m 6s v0.3.0
v0.3.0
April 11, 2024 20:20 2m 6s
chore: bump the minor version CI #312: Commit d656625 pushed by jaybosamiya
April 11, 2024 20:20 1m 26s main
main
April 11, 2024 20:20 1m 26s
Support the no_unwind clause (#56) CI #311: Commit cbfcdd0 pushed by jaybosamiya
April 10, 2024 17:22 1m 43s main
main
April 10, 2024 17:22 1m 43s
support no_unwind clause Release #50: Pull request #56 synchronize by jaybosamiya
April 10, 2024 17:15 26s tjhance:unwind
tjhance:unwind
April 10, 2024 17:15 26s
support no_unwind clause CI #310: Pull request #56 synchronize by jaybosamiya
April 10, 2024 17:15 1m 32s tjhance:unwind
tjhance:unwind
April 10, 2024 17:15 1m 32s
Update CHANGELOG for no_unwind CI #309: Commit 7d4456b pushed by jaybosamiya
April 10, 2024 17:09 1m 29s pr-56
pr-56
April 10, 2024 17:09 1m 29s
Remove now-unused dependency on itertools CI #308: Commit c2e81dd pushed by jaybosamiya
April 10, 2024 17:01 2m 3s main
main
April 10, 2024 17:01 2m 3s
support no_unwind clause Release #49: Pull request #56 opened by tjhance
April 9, 2024 23:05 17s tjhance:unwind
tjhance:unwind
April 9, 2024 23:05 17s
support no_unwind clause CI #307: Pull request #56 opened by tjhance
April 9, 2024 23:05 2m 1s tjhance:unwind
tjhance:unwind
April 9, 2024 23:05 2m 1s
Improve trailing newlines for broadcast uses (#55) CI #306: Commit 90f21b0 pushed by jaybosamiya
April 9, 2024 16:44 1m 36s main
main
April 9, 2024 16:44 1m 36s
Handle trailing newlines for broadcast uses Release #48: Pull request #55 synchronize by jaybosamiya
April 9, 2024 16:33 15s broadcast-use-trailing-newline
broadcast-use-trailing-newline
April 9, 2024 16:33 15s
Handle trailing newlines for broadcast uses CI #305: Pull request #55 synchronize by jaybosamiya
April 9, 2024 16:33 1m 48s broadcast-use-trailing-newline
broadcast-use-trailing-newline
April 9, 2024 16:33 1m 48s
Update snapshot tests CI #304: Commit e6001cf pushed by jaybosamiya
April 9, 2024 16:33 1m 28s broadcast-use-trailing-newline
broadcast-use-trailing-newline
April 9, 2024 16:33 1m 28s
Update changelog CI #303: Commit dba7224 pushed by jaybosamiya
April 9, 2024 16:32 1m 28s main
main
April 9, 2024 16:32 1m 28s
Handle trailing newlines for broadcast uses Release #47: Pull request #55 opened by jaybosamiya
April 9, 2024 16:27 19s broadcast-use-trailing-newline
broadcast-use-trailing-newline
April 9, 2024 16:27 19s
Handle trailing newlines for broadcast uses CI #302: Pull request #55 opened by jaybosamiya
April 9, 2024 16:27 1m 27s broadcast-use-trailing-newline
broadcast-use-trailing-newline
April 9, 2024 16:27 1m 27s
Update snapshot tests CI #301: Commit a1d084d pushed by jaybosamiya
April 9, 2024 16:18 1m 46s broadcast-use-trailing-newline
broadcast-use-trailing-newline
April 9, 2024 16:18 1m 46s
ProTip! You can narrow down the results and go further in time using created:<2024-04-09 or the other filters available.