Skip to content

Actions: secure-foundations/human-eval-verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
159 workflow runs
159 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Completed task 027 verusfmt #59: Pull request #15 opened by MRHMisu
September 25, 2024 17:27 24s MRHMisu:main
MRHMisu:main
September 25, 2024 17:27 24s
Complete task 026 (#14) verusfmt #58: Commit 6bd1eed pushed by parno
September 25, 2024 13:00 27s main
main
September 25, 2024 13:00 27s
Completed task 026 verusfmt #57: Pull request #14 opened by MRHMisu
September 25, 2024 07:13 29s main
main
September 25, 2024 07:13 29s
Complete task015 (Elanor, Amar, Yi) (#13) verusfmt #55: Commit 65cdf99 pushed by parno
September 23, 2024 18:46 24s main
main
September 23, 2024 18:46 24s
Complete task015 (Elanor, Amar, Yi) verusfmt #53: Pull request #13 synchronize by amarshah1
September 20, 2024 22:07 22s amarshah1:main
amarshah1:main
September 20, 2024 22:07 22s
Complete task015 (Elanor, Amar, Yi) verusfmt #52: Pull request #13 opened by amarshah1
September 20, 2024 18:42 21s amarshah1:main
amarshah1:main
September 20, 2024 18:42 21s
More tasks completed verusfmt #51: Pull request #12 synchronize by WeetHet
September 20, 2024 09:54 21s edwin1729:new-tasks
edwin1729:new-tasks
September 20, 2024 09:54 21s
completed programs roughly from 70 to 80 verusfmt #46: Pull request #11 synchronize by WeetHet
September 19, 2024 09:24 24s edwin1729:main
edwin1729:main
September 19, 2024 09:24 24s
completed programs roughly from 70 to 80 verusfmt #45: Pull request #11 synchronize by edwin1729
September 19, 2024 08:27 23s edwin1729:main
edwin1729:main
September 19, 2024 08:27 23s
completed programs roughly from 70 to 80 verusfmt #41: Pull request #11 synchronize by edwin1729
September 19, 2024 06:16 26s edwin1729:main
edwin1729:main
September 19, 2024 06:16 26s
completed programs roughly from 70 to 80 verusfmt #40: Pull request #11 synchronize by edwin1729
September 19, 2024 06:12 21s edwin1729:main
edwin1729:main
September 19, 2024 06:12 21s
completed programs roughly from 70 to 80 verusfmt #39: Pull request #11 synchronize by edwin1729
September 19, 2024 02:55 24s edwin1729:main
edwin1729:main
September 19, 2024 02:55 24s
completed programs roughly from 70 to 80 verusfmt #38: Pull request #11 synchronize by edwin1729
September 18, 2024 12:21 26s edwin1729:main
edwin1729:main
September 18, 2024 12:21 26s
completed programs roughly from 70 to 80 verusfmt #37: Pull request #11 synchronize by edwin1729
September 18, 2024 12:18 26s edwin1729:main
edwin1729:main
September 18, 2024 12:18 26s
completed programs roughly from 70 to 80 verusfmt #36: Pull request #11 synchronize by edwin1729
September 18, 2024 12:15 25s edwin1729:main
edwin1729:main
September 18, 2024 12:15 25s
completed programs roughly from 70 to 80 verusfmt #33: Pull request #11 synchronize by edwin1729
September 18, 2024 12:00 28s edwin1729:main
edwin1729:main
September 18, 2024 12:00 28s
completed programs roughly from 70 to 80 verusfmt #22: Pull request #11 synchronize by edwin1729
September 17, 2024 07:41 23s edwin1729:main
edwin1729:main
September 17, 2024 07:41 23s
completed programs roughly from 70 to 80 verusfmt #21: Pull request #11 synchronize by edwin1729
September 17, 2024 05:01 20s edwin1729:main
edwin1729:main
September 17, 2024 05:01 20s
completed programs roughly from 70 to 80 verusfmt #20: Pull request #11 opened by edwin1729
September 17, 2024 04:56 23s edwin1729:main
edwin1729:main
September 17, 2024 04:56 23s
wrote some programs (#9) verusfmt #19: Commit 165faba pushed by parno
September 14, 2024 00:35 24s main
main
September 14, 2024 00:35 24s
wrote some programs verusfmt #18: Pull request #9 synchronize by edwin1729
September 13, 2024 05:06 27s edwin1729:main
edwin1729:main
September 13, 2024 05:06 27s
Migrate the task list to the Wiki for easier editing verusfmt #16: Commit be360ca pushed by parno
September 12, 2024 18:13 21s main
main
September 12, 2024 18:13 21s
wrote some programs verusfmt #12: Pull request #9 opened by edwin1729
September 5, 2024 06:12 22s edwin1729:main
edwin1729:main
September 5, 2024 06:12 22s
task024 (#7) verusfmt #11: Commit 34623ff pushed by parno
August 27, 2024 12:46 22s main
main
August 27, 2024 12:46 22s
task024 verusfmt #10: Pull request #7 synchronize by ahuoguo
August 23, 2024 04:21 22s ahuoguo:task024
ahuoguo:task024
August 23, 2024 04:21 22s