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

Relative path to Verus verus #15: Commit ddcc768 pushed by parno
November 25, 2024 21:47 15s ci-setup
ci-setup
November 25, 2024 21:47 15s
pwd verus #14: Commit 53d232d pushed by parno
November 25, 2024 21:46 16s ci-setup
ci-setup
November 25, 2024 21:46 16s
Use a better path for Verus verus #13: Commit 303f2ec pushed by parno
November 25, 2024 21:43 14s ci-setup
ci-setup
November 25, 2024 21:43 14s
curl to a zip file verus #12: Commit 4d3ba8f pushed by parno
November 25, 2024 21:41 13s ci-setup
ci-setup
November 25, 2024 21:41 13s
Use for..of verus #11: Commit ac8b9dc pushed by parno
November 25, 2024 21:33 13s ci-setup
ci-setup
November 25, 2024 21:33 13s
Printf debuggging 1 verus #10: Commit 28e90d4 pushed by parno
November 25, 2024 21:28 10s ci-setup
ci-setup
November 25, 2024 21:28 10s
Get latest release manually, now with recompile verus #9: Commit 0b55911 pushed by parno
November 25, 2024 21:24 14s ci-setup
ci-setup
November 25, 2024 21:24 14s
Try again with compilation verus #8: Commit 82bd55f pushed by parno
November 25, 2024 21:23 12s ci-setup
ci-setup
November 25, 2024 21:23 12s
Find the latest release manually verus #7: Commit 8bf7a06 pushed by parno
November 25, 2024 21:19 12s ci-setup
ci-setup
November 25, 2024 21:19 12s
Try a different access method verus #6: Commit 793aa88 pushed by parno
November 25, 2024 21:16 17s ci-setup
ci-setup
November 25, 2024 21:16 17s
Prepackage dependencies verus #5: Commit ed92ca5 pushed by parno
November 25, 2024 21:09 12s ci-setup
ci-setup
November 25, 2024 21:09 12s
Package info verus #4: Commit ddc006c pushed by parno
November 25, 2024 21:05 14s ci-setup
ci-setup
November 25, 2024 21:05 14s
Use a custom action to get the release asset info verus #3: Commit 96ebcc2 pushed by parno
November 25, 2024 21:02 11s ci-setup
ci-setup
November 25, 2024 21:02 11s
Specify the repo in question verus #2: Commit 93c8ac0 pushed by parno
November 25, 2024 20:14 12s ci-setup
ci-setup
November 25, 2024 20:14 12s
Try to run the latest Verus in CI verus #1: Commit 97a1754 pushed by parno
November 25, 2024 20:13 13s ci-setup
ci-setup
November 25, 2024 20:13 13s