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

Give the snapshot tests extra stack space to run CI #350: Commit 9c683e6 pushed by jaybosamiya
May 16, 2024 19:45 1m 24s stack-limit
stack-limit
May 16, 2024 19:45 1m 24s
Give the snapshot tests extra stack space to run CI #349: Commit bc73938 pushed by jaybosamiya
May 16, 2024 19:42 1m 43s stack-limit
stack-limit
May 16, 2024 19:42 1m 43s
Implement --update Release #65: Pull request #62 synchronize by jaybosamiya
May 16, 2024 19:19 16s update-flag
update-flag
May 16, 2024 19:19 16s
Implement --update CI #348: Pull request #62 synchronize by jaybosamiya
May 16, 2024 19:19 1m 39s update-flag
update-flag
May 16, 2024 19:19 1m 39s
Implement --update CI #347: Commit 77b8537 pushed by jaybosamiya
May 16, 2024 19:19 1m 38s update-flag
update-flag
May 16, 2024 19:19 1m 38s
chore: bump the patch version Release #64: Commit 986d59a pushed by jaybosamiya
May 16, 2024 19:09 6m 6s v0.3.2
v0.3.2
May 16, 2024 19:09 6m 6s
chore: bump the patch version CI #346: Commit 986d59a pushed by jaybosamiya
May 16, 2024 19:09 1m 38s v0.3.2
v0.3.2
May 16, 2024 19:09 1m 38s
chore: bump the patch version CI #345: Commit 986d59a pushed by jaybosamiya
May 16, 2024 19:08 1m 25s main
main
May 16, 2024 19:08 1m 25s
Verus snapshot update (#64) CI #344: Commit 04ecd52 pushed by jaybosamiya
May 16, 2024 19:06 1m 42s main
main
May 16, 2024 19:06 1m 42s
Verus snapshot update CI #343: Pull request #64 reopened by jaybosamiya
May 16, 2024 19:05 1m 28s verus-snapshot-update
verus-snapshot-update
May 16, 2024 19:05 1m 28s
Verus snapshot update Release #63: Pull request #64 reopened by jaybosamiya
May 16, 2024 19:05 17s verus-snapshot-update
verus-snapshot-update
May 16, 2024 19:05 17s
SnapshotRefresh SnapshotRefresh #15: Manually run by jaybosamiya
May 16, 2024 19:04 17s main
main
May 16, 2024 19:04 17s
For loop named iter (#65) CI #342: Commit 21492ca pushed by jaybosamiya
May 14, 2024 15:13 1m 39s main
main
May 14, 2024 15:13 1m 39s
For loop named iter Release #62: Pull request #65 opened by parno
May 14, 2024 13:44 22s for-loop-named-iter
for-loop-named-iter
May 14, 2024 13:44 22s
For loop named iter CI #341: Pull request #65 opened by parno
May 14, 2024 13:44 1m 34s for-loop-named-iter
for-loop-named-iter
May 14, 2024 13:44 1m 34s
Update changelog CI #340: Commit 2124ad0 pushed by parno
May 14, 2024 13:43 1m 32s for-loop-named-iter
for-loop-named-iter
May 14, 2024 13:43 1m 32s
Verus snapshot update Release #61: Pull request #64 reopened by jaybosamiya
May 13, 2024 18:11 21s verus-snapshot-update
verus-snapshot-update
May 13, 2024 18:11 21s
Verus snapshot update CI #339: Pull request #64 reopened by jaybosamiya
May 13, 2024 18:11 1m 19s verus-snapshot-update
verus-snapshot-update
May 13, 2024 18:11 1m 19s
SnapshotRefresh SnapshotRefresh #14: Scheduled
May 13, 2024 00:37 23s main
main
May 13, 2024 00:37 23s
calc! macro formatting (#61) CI #338: Commit b8f6205 pushed by jaybosamiya
May 8, 2024 20:25 1m 33s main
main
May 8, 2024 20:25 1m 33s
calc! macro formatting Release #60: Pull request #61 synchronize by jaybosamiya
May 8, 2024 20:23 23s calc-macro
calc-macro
May 8, 2024 20:23 23s
calc! macro formatting CI #337: Pull request #61 synchronize by jaybosamiya
May 8, 2024 20:23 1m 37s calc-macro
calc-macro
May 8, 2024 20:23 1m 37s
Minor updates to vstd due to calc! formatting CI #336: Commit 2e0dbe7 pushed by jaybosamiya
May 8, 2024 20:23 1m 36s calc-macro
calc-macro
May 8, 2024 20:23 1m 36s
Verus snapshot update (#63) CI #335: Commit a01c44d pushed by jaybosamiya
May 6, 2024 01:08 1m 37s main
main
May 6, 2024 01:08 1m 37s
Verus snapshot update Release #59: Pull request #63 reopened by jaybosamiya
May 6, 2024 01:06 16s verus-snapshot-update
verus-snapshot-update
May 6, 2024 01:06 16s
ProTip! You can narrow down the results and go further in time using created:<2024-05-06 or the other filters available.