Skip to content

Actions: secure-foundations/human-eval-verus

Actions

verusfmt

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verusfmt.yml
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 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 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
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 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 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
Get the jq version verusfmt #138: Commit 4098ccf pushed by parno
December 2, 2024 15:35 24s ci-setup
ci-setup
December 2, 2024 15:35 24s
Add a workflow that runs Verus on each task verusfmt #137: Pull request #25 synchronize by parno
December 2, 2024 15:32 28s ci-setup
ci-setup
December 2, 2024 15:32 28s
Use the release info verusfmt #136: Commit 043e1f7 pushed by parno
December 2, 2024 15:32 34s ci-setup
ci-setup
December 2, 2024 15:32 34s
Add a workflow that runs Verus on each task verusfmt #135: Pull request #25 synchronize by parno
December 2, 2024 15:26 23s ci-setup
ci-setup
December 2, 2024 15:26 23s
Replace gh script with a curl+jq command from @jaybosamiya, verusfmt #134: Commit 1340b75 pushed by parno
December 2, 2024 15:26 30s ci-setup
ci-setup
December 2, 2024 15:26 30s
Add a workflow that runs Verus on each task verusfmt #133: Pull request #25 synchronize by parno
December 2, 2024 15:14 53s ci-setup
ci-setup
December 2, 2024 15:14 53s
Add GH_TOKEN verusfmt #132: Commit 8944a43 pushed by parno
December 2, 2024 15:14 24s ci-setup
ci-setup
December 2, 2024 15:14 24s
Add a workflow that runs Verus on each task verusfmt #131: Pull request #25 synchronize by parno
December 2, 2024 15:13 27s ci-setup
ci-setup
December 2, 2024 15:13 27s
Remove JS-based GitHub action in favor of gh-based Bash script verusfmt #130: Commit 4f48ff6 pushed by parno
December 2, 2024 15:13 22s ci-setup
ci-setup
December 2, 2024 15:13 22s