Skip to content

Actions: secure-foundations/human-eval-verus

Actions

verus

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verus.yml
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add a workflow that runs Verus on each task verus #23: Pull request #25 synchronize by parno
December 2, 2024 15:13 33s ci-setup
ci-setup
December 2, 2024 15:13 33s
Add a workflow that runs Verus on each task verus #22: Pull request #25 synchronize by parno
November 26, 2024 14:09 1m 4s ci-setup
ci-setup
November 26, 2024 14:09 1m 4s
Clean up and add docs verus #21: Commit 323992e pushed by parno
November 26, 2024 14:09 1m 6s ci-setup
ci-setup
November 26, 2024 14:09 1m 6s
Add a workflow that runs Verus on each task verus #20: Pull request #25 synchronize by parno
November 26, 2024 02:39 1m 3s ci-setup
ci-setup
November 26, 2024 02:39 1m 3s
Merge branch 'main' into ci-setup verus #19: Commit b9251ac pushed by parno
November 26, 2024 02:39 1m 2s ci-setup
ci-setup
November 26, 2024 02:39 1m 2s
Add a workflow that runs Verus on each task verus #18: Pull request #25 opened by parno
November 25, 2024 21:59 1m 14s ci-setup
ci-setup
November 25, 2024 21:59 1m 14s
Remove dnf verus #17: Commit 31c8f91 pushed by parno
November 25, 2024 21:50 1m 21s ci-setup
ci-setup
November 25, 2024 21:50 1m 21s
Install rustup and toolchain verus #16: Commit 73cc1f8 pushed by parno
November 25, 2024 21:49 11s ci-setup
ci-setup
November 25, 2024 21:49 11s