Skip to content

Actions: secure-foundations/human-eval-verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Finished task129 verusfmt #99: Pull request #24 synchronize by amarshah1
October 24, 2024 18:34 22s amarshah1:changing
amarshah1:changing
October 24, 2024 18:34 22s
Finished task129 verusfmt #98: Pull request #24 synchronize by amarshah1
October 24, 2024 18:33 28s amarshah1:changing
amarshah1:changing
October 24, 2024 18:33 28s
Finished task129 verusfmt #97: Pull request #24 opened by amarshah1
October 8, 2024 20:46 32s amarshah1:changing
amarshah1:changing
October 8, 2024 20:46 32s
Finished task018 (#23) verusfmt #96: Commit ddb9ba3 pushed by parno
October 4, 2024 13:11 27s main
main
October 4, 2024 13:11 27s
Finished task018 verusfmt #95: Pull request #23 opened by amarshah1
October 3, 2024 23:38 22s amarshah1:main
amarshah1:main
October 3, 2024 23:38 22s
completed tasks 31 and 28 (#17) verusfmt #94: Commit 67b1597 pushed by parno
October 3, 2024 14:40 28s main
main
October 3, 2024 14:40 28s
completed tasks 31 and 28 verusfmt #93: Pull request #17 synchronize by elanortang
October 3, 2024 14:34 30s elanortang:main
elanortang:main
October 3, 2024 14:34 30s
Finished task 139 (#22) verusfmt #92: Commit ea898a4 pushed by parno
October 3, 2024 14:08 22s main
main
October 3, 2024 14:08 22s
Finished task 139 verusfmt #91: Pull request #22 synchronize by amarshah1
October 3, 2024 04:51 22s amarshah1:main
amarshah1:main
October 3, 2024 04:51 22s
Finished task 139 verusfmt #90: Pull request #22 synchronize by amarshah1
October 3, 2024 04:51 21s amarshah1:main
amarshah1:main
October 3, 2024 04:51 21s
completed tasks 31 and 28 verusfmt #89: Pull request #17 synchronize by elanortang
October 2, 2024 19:46 23s elanortang:main
elanortang:main
October 2, 2024 19:46 23s
Finished task 139 verusfmt #88: Pull request #22 opened by amarshah1
October 1, 2024 21:59 25s amarshah1:main
amarshah1:main
October 1, 2024 21:59 25s
Finished task025 (#16) verusfmt #86: Commit 24726b0 pushed by parno
October 1, 2024 01:20 23s main
main
October 1, 2024 01:20 23s
Finished task025 verusfmt #85: Pull request #16 synchronize by amarshah1
September 30, 2024 15:24 23s amarshah1:main
amarshah1:main
September 30, 2024 15:24 23s
Finished task025 verusfmt #84: Pull request #16 synchronize by amarshah1
September 28, 2024 21:43 23s amarshah1:main
amarshah1:main
September 28, 2024 21:43 23s
Optimize 60's proof through an arimethic lemma, rather than verusfmt #83: Commit 9be5e82 pushed by parno
September 28, 2024 20:18 21s main
main
September 28, 2024 20:18 21s
Minor edits to 51 verusfmt #82: Commit daabbc0 pushed by parno
September 28, 2024 19:59 19s main
main
September 28, 2024 19:59 19s
Strengthen specs (#21) verusfmt #81: Commit d6a314c pushed by parno
September 28, 2024 19:52 19s main
main
September 28, 2024 19:52 19s
Strengthen specs verusfmt #80: Pull request #21 opened by parno
September 28, 2024 19:51 19s strengthen_specs
strengthen_specs
September 28, 2024 19:51 19s
Run verusfmt verusfmt #79: Commit dde44ae pushed by parno
September 28, 2024 18:52 19s strengthen_specs
strengthen_specs
September 28, 2024 18:52 19s
Strengthen specs for 62 verusfmt #78: Commit 7f9cb6f pushed by parno
September 28, 2024 18:43 20s strengthen_specs
strengthen_specs
September 28, 2024 18:43 20s
Strength spec for 63 verusfmt #77: Commit bcd1e5f pushed by parno
September 28, 2024 18:36 30s strengthen_specs
strengthen_specs
September 28, 2024 18:36 30s
Completed task 051 (#18) verusfmt #76: Commit 6cb516d pushed by parno
September 28, 2024 18:13 24s main
main
September 28, 2024 18:13 24s
Completed task 082 (#20) verusfmt #75: Commit 8db9b06 pushed by parno
September 28, 2024 18:11 19s main
main
September 28, 2024 18:11 19s
Strengthen the spec for 55b verusfmt #74: Commit 0555f44 pushed by parno
September 28, 2024 17:36 19s strengthen_specs
strengthen_specs
September 28, 2024 17:36 19s