Skip to content

Actions: secure-foundations/human-eval-verus

Actions

verusfmt

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verusfmt.yml
144 workflow runs
144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

task013 (#5) verusfmt #174: Commit 7f05e95 pushed by parno
February 12, 2025 15:21 25s main
main
February 12, 2025 15:21 25s
task013 verusfmt #173: Pull request #5 synchronize by ahuoguo
February 12, 2025 15:19 27s ahuoguo:task013
ahuoguo:task013
February 12, 2025 15:19 27s
task013 verusfmt #172: Pull request #5 synchronize by ahuoguo
February 12, 2025 10:26 22s ahuoguo:task013
ahuoguo:task013
February 12, 2025 10:26 22s
More tasks completed (#12) verusfmt #171: Commit d5b7a38 pushed by parno
February 12, 2025 02:37 24s main
main
February 12, 2025 02:37 24s
task013 verusfmt #170: Pull request #5 synchronize by ahuoguo
February 11, 2025 21:41 24s ahuoguo:task013
ahuoguo:task013
February 11, 2025 21:41 24s
task013 verusfmt #169: Pull request #5 synchronize by ahuoguo
February 11, 2025 21:40 25s ahuoguo:task013
ahuoguo:task013
February 11, 2025 21:40 25s
More tasks completed verusfmt #168: Pull request #12 synchronize by WeetHet
February 11, 2025 21:11 24s edwin1729:new-tasks
edwin1729:new-tasks
February 11, 2025 21:11 24s
More tasks completed verusfmt #167: Pull request #12 synchronize by WeetHet
February 11, 2025 21:10 Action required edwin1729:new-tasks
edwin1729:new-tasks
February 11, 2025 21:10 Action required
task013 verusfmt #166: Pull request #5 synchronize by ahuoguo
February 4, 2025 16:09 23s ahuoguo:task013
ahuoguo:task013
February 4, 2025 16:09 23s
task013 verusfmt #165: Pull request #5 synchronize by ahuoguo
February 4, 2025 10:38 21s ahuoguo:task013
ahuoguo:task013
February 4, 2025 10:38 21s
Finish tasks 006 and 017 (#30) verusfmt #164: Commit 54c42c4 pushed by parno
January 29, 2025 15:50 23s main
main
January 29, 2025 15:50 23s
Finish tasks 006 and 017 verusfmt #163: Pull request #30 synchronize by zhengyao-lin
January 29, 2025 15:49 21s zhengyao-lin:main
zhengyao-lin:main
January 29, 2025 15:49 21s
Finish tasks 006 and 017 verusfmt #162: Pull request #30 synchronize by zhengyao-lin
January 25, 2025 01:51 20s zhengyao-lin:main
zhengyao-lin:main
January 25, 2025 01:51 20s
Finish tasks 006 and 017 verusfmt #161: Pull request #30 synchronize by zhengyao-lin
January 25, 2025 01:47 24s zhengyao-lin:main
zhengyao-lin:main
January 25, 2025 01:47 24s
CI updates (#31) verusfmt #160: Commit 6353219 pushed by parno
January 25, 2025 01:33 22s main
main
January 25, 2025 01:33 22s
CI updates verusfmt #159: Pull request #31 opened by jaybosamiya
January 22, 2025 18:31 26s ci-updates
ci-updates
January 22, 2025 18:31 26s
CI updates verusfmt #158: Commit 56631b2 pushed by jaybosamiya
January 22, 2025 18:30 21s ci-updates
ci-updates
January 22, 2025 18:30 21s
wip: Updates to CI verusfmt #157: Commit a4cec34 pushed by jaybosamiya
January 22, 2025 18:28 21s ci-updates
ci-updates
January 22, 2025 18:28 21s
Finish tasks 006 and 017 verusfmt #156: Pull request #30 opened by zhengyao-lin
January 20, 2025 19:08 23s zhengyao-lin:main
zhengyao-lin:main
January 20, 2025 19:08 23s
Task 87 (#28) verusfmt #155: Commit 261a4dd pushed by parno
January 14, 2025 18:30 28s main
main
January 14, 2025 18:30 28s
completed programs roughly from 70 to 80 verusfmt #154: Pull request #11 synchronize by edwin1729
December 23, 2024 09:50 23s edwin1729:main
edwin1729:main
December 23, 2024 09:50 23s
completed programs roughly from 70 to 80 verusfmt #153: Pull request #11 synchronize by edwin1729
December 23, 2024 09:47 23s edwin1729:main
edwin1729:main
December 23, 2024 09:47 23s
Completed task 146 (#29) verusfmt #152: Commit 69128e3 pushed by parno
December 12, 2024 14:13 27s main
main
December 12, 2024 14:13 27s
Completed task 146 verusfmt #151: Pull request #29 opened by MRHMisu
December 12, 2024 02:44 32s MRHMisu:task_146
MRHMisu:task_146
December 12, 2024 02:44 32s
Update CONTRIBUTORS.md to use bullets verusfmt #150: Commit 4196755 pushed by parno
December 7, 2024 02:54 20s main
main
December 7, 2024 02:54 20s