Skip to content

Actions: secure-foundations/human-eval-verus

Actions

verus

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verus.yml
48 workflow runs
48 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

task013 verus #49: Pull request #5 synchronize by ahuoguo
February 12, 2025 15:19 1m 5s ahuoguo:task013
ahuoguo:task013
February 12, 2025 15:19 1m 5s
task013 verus #48: Pull request #5 synchronize by ahuoguo
February 12, 2025 10:26 1m 8s ahuoguo:task013
ahuoguo:task013
February 12, 2025 10:26 1m 8s
task013 verus #47: Pull request #5 synchronize by ahuoguo
February 11, 2025 21:41 1m 4s ahuoguo:task013
ahuoguo:task013
February 11, 2025 21:41 1m 4s
task013 verus #46: Pull request #5 synchronize by ahuoguo
February 11, 2025 21:40 1m 8s ahuoguo:task013
ahuoguo:task013
February 11, 2025 21:40 1m 8s
More tasks completed verus #45: Pull request #12 synchronize by WeetHet
February 11, 2025 21:11 1m 7s edwin1729:new-tasks
edwin1729:new-tasks
February 11, 2025 21:11 1m 7s
task013 verus #43: Pull request #5 synchronize by ahuoguo
February 4, 2025 16:09 1m 2s ahuoguo:task013
ahuoguo:task013
February 4, 2025 16:09 1m 2s
task013 verus #42: Pull request #5 synchronize by ahuoguo
February 4, 2025 10:38 1m 1s ahuoguo:task013
ahuoguo:task013
February 4, 2025 10:38 1m 1s
Finish tasks 006 and 017 verus #41: Pull request #30 synchronize by zhengyao-lin
January 29, 2025 15:49 1m 8s zhengyao-lin:main
zhengyao-lin:main
January 29, 2025 15:49 1m 8s
Finish tasks 006 and 017 verus #40: Pull request #30 synchronize by zhengyao-lin
January 25, 2025 01:51 1m 5s zhengyao-lin:main
zhengyao-lin:main
January 25, 2025 01:51 1m 5s
Finish tasks 006 and 017 verus #39: Pull request #30 synchronize by zhengyao-lin
January 25, 2025 01:47 1m 5s zhengyao-lin:main
zhengyao-lin:main
January 25, 2025 01:47 1m 5s
CI updates verus #38: Pull request #31 opened by jaybosamiya
January 22, 2025 18:31 1m 7s ci-updates
ci-updates
January 22, 2025 18:31 1m 7s
wip: Updates to CI verus #37: Commit a4cec34 pushed by jaybosamiya
January 22, 2025 18:28 1m 4s ci-updates
ci-updates
January 22, 2025 18:28 1m 4s
Finish tasks 006 and 017 verus #36: Pull request #30 opened by zhengyao-lin
January 20, 2025 19:08 34s zhengyao-lin:main
zhengyao-lin:main
January 20, 2025 19:08 34s
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 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 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
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
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 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 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 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 verus #27: Pull request #25 synchronize by parno
December 2, 2024 15:36 48s ci-setup
ci-setup
December 2, 2024 15:36 48s
Add a workflow that runs Verus on each task verus #26: Pull request #25 synchronize by parno
December 2, 2024 15:32 36s ci-setup
ci-setup
December 2, 2024 15:32 36s
Add a workflow that runs Verus on each task verus #25: Pull request #25 synchronize by parno
December 2, 2024 15:26 38s ci-setup
ci-setup
December 2, 2024 15:26 38s
Add a workflow that runs Verus on each task verus #24: Pull request #25 synchronize by parno
December 2, 2024 15:14 33s ci-setup
ci-setup
December 2, 2024 15:14 33s