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 programs roughly from 70 to 80 verus #35: Pull request #11 synchronize by edwin1729
December 23, 2024 09:50 24s edwin1729:main
edwin1729:main
December 23, 2024 09:50 24s
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 programs roughly from 70 to 80 verus #34: Pull request #11 synchronize by edwin1729
December 23, 2024 09:47 25s edwin1729:main
edwin1729:main
December 23, 2024 09:47 25s
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 verus #33: Pull request #29 opened by MRHMisu
December 12, 2024 02:44 1m 4s MRHMisu:task_146
MRHMisu:task_146
December 12, 2024 02:44 1m 4s
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
Add a list of contributors verusfmt #149: Commit 126c905 pushed by parno
December 7, 2024 02:52 20s main
main
December 7, 2024 02:52 20s
Add a list of contributors verus #32: Commit 19eb549 pushed by parno
December 7, 2024 02:52 1m 6s ci-setup
ci-setup
December 7, 2024 02:52 1m 6s
Add a list of contributors verusfmt #148: Commit 19eb549 pushed by parno
December 7, 2024 02:52 25s ci-setup
ci-setup
December 7, 2024 02:52 25s
Update README.md verusfmt #147: Commit edf5779 pushed by parno
December 7, 2024 02:42 20s main
main
December 7, 2024 02:42 20s
Task 87 verus #31: Pull request #28 synchronize by zero-to-nat
December 6, 2024 17:08 1m 8s zero-to-nat:main
zero-to-nat:main
December 6, 2024 17:08 1m 8s
Task 87 verusfmt #146: Pull request #28 synchronize by zero-to-nat
December 6, 2024 17:08 24s zero-to-nat:main
zero-to-nat:main
December 6, 2024 17:08 24s
Task 87 verusfmt #145: Pull request #28 opened by zero-to-nat
December 4, 2024 18:42 23s zero-to-nat:main
zero-to-nat:main
December 4, 2024 18:42 23s
Task 87 verus #30: Pull request #28 opened by zero-to-nat
December 4, 2024 18:42 1m 5s zero-to-nat:main
zero-to-nat:main
December 4, 2024 18:42 1m 5s
Add a workflow that runs Verus on each task (#25) verusfmt #144: Commit b9e3e44 pushed by parno
December 2, 2024 15:49 24s main
main
December 2, 2024 15:49 24s
Add a workflow that runs Verus on each task verus #29: Pull request #25 synchronize by parno
December 2, 2024 15:46 1m 13s ci-setup
ci-setup
December 2, 2024 15:46 1m 13s
Add a workflow that runs Verus on each task verusfmt #143: Pull request #25 synchronize by parno
December 2, 2024 15:46 23s ci-setup
ci-setup
December 2, 2024 15:46 23s
Fill in the output verusfmt #142: Commit 2c4075b pushed by parno
December 2, 2024 15:46 26s ci-setup
ci-setup
December 2, 2024 15:46 26s
Add a workflow that runs Verus on each task verus #28: Pull request #25 synchronize by parno
December 2, 2024 15:39 28s ci-setup
ci-setup
December 2, 2024 15:39 28s
Add a workflow that runs Verus on each task verusfmt #141: Pull request #25 synchronize by parno
December 2, 2024 15:39 23s ci-setup
ci-setup
December 2, 2024 15:39 23s
Update syntax to account for jq 1.6 verusfmt #140: Commit cc12be4 pushed by parno
December 2, 2024 15:38 25s ci-setup
ci-setup
December 2, 2024 15:38 25s
Add a workflow that runs Verus on each task verusfmt #139: Pull request #25 synchronize by parno
December 2, 2024 15:36 25s ci-setup
ci-setup
December 2, 2024 15:36 25s
Add a workflow that runs Verus on each task verus #27: Pull request #25 synchronize by parno
December 2, 2024 15:36 48s ci-setup
ci-setup
December 2, 2024 15:36 48s