Skip to content

Actions: secure-foundations/human-eval-verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
155 workflow runs
155 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding 92, 94, 97 (#35) verusfmt #194: Commit afdd879 pushed by parno
21s main
main
21s
Adding 92, 94, 97 verusfmt #193: Pull request #35 synchronize by JakeGinesin
24s JakeGinesin:main
JakeGinesin:main
24s
Adding 92, 94, 97 verus #63: Pull request #35 synchronize by JakeGinesin
1m 37s JakeGinesin:main
JakeGinesin:main
1m 37s
Adding 92, 94, 97 verus #62: Pull request #35 synchronize by JakeGinesin
1m 36s JakeGinesin:main
JakeGinesin:main
1m 36s
Adding 92, 94, 97 verusfmt #192: Pull request #35 synchronize by JakeGinesin
26s JakeGinesin:main
JakeGinesin:main
26s
Adding 92, 94, 97 verusfmt #191: Pull request #35 synchronize by JakeGinesin
22s JakeGinesin:main
JakeGinesin:main
22s
Adding 92, 94, 97 verus #61: Pull request #35 synchronize by JakeGinesin
1m 40s JakeGinesin:main
JakeGinesin:main
1m 40s
Adding 92, 94, 97 verusfmt #190: Pull request #35 opened by JakeGinesin
23s JakeGinesin:main
JakeGinesin:main
23s
Adding 92, 94, 97 verus #60: Pull request #35 opened by JakeGinesin
1m 29s JakeGinesin:main
JakeGinesin:main
1m 29s
verus verus #59: Manually run by parno
1m 24s main
main
1m 24s
Fix formatting verusfmt #189: Commit 8903578 pushed by parno
20s main
main
20s
Implement human_eval_020.rs (#33) verusfmt #188: Commit 796a1ee pushed by parno
22s main
main
22s
Eliminate a warning verusfmt #187: Commit 1a4954e pushed by parno
22s main
main
22s
completed programs extract from !11 (#34) verusfmt #186: Commit aa630c4 pushed by parno
22s main
main
22s
verus verus #58: Manually run by parno
1m 22s main
main
1m 22s
Run verusfmt verusfmt #185: Commit fc1ccd9 pushed by parno
26s main
main
26s
completed programs extracted from !11 verusfmt #184: Pull request #34 synchronize by edwin1729
26s edwin1729:reviewed
edwin1729:reviewed
26s
completed programs extracted from !11 verus #57: Pull request #34 synchronize by edwin1729
1m 31s edwin1729:reviewed
edwin1729:reviewed
1m 31s
Update CI to use rust 1.88.0 verusfmt #183: Commit 0e646ee pushed by parno
18s main
main
18s
completed programs roughly from 70 to 80 verus #56: Pull request #11 synchronize by edwin1729
31s edwin1729:main
edwin1729:main
31s
completed programs roughly from 70 to 80 verusfmt #182: Pull request #11 synchronize by edwin1729
21s edwin1729:main
edwin1729:main
21s
completed programs extracted from !11 verusfmt #181: Pull request #34 synchronize by edwin1729
26s edwin1729:reviewed
edwin1729:reviewed
26s
completed programs extracted from !11 verus #55: Pull request #34 synchronize by edwin1729
19s edwin1729:reviewed
edwin1729:reviewed
19s
completed programs extracted from !11 verusfmt #180: Pull request #34 synchronize by edwin1729
24s edwin1729:reviewed
edwin1729:reviewed
24s
completed programs extracted from !11 verus #54: Pull request #34 synchronize by edwin1729
31s edwin1729:reviewed
edwin1729:reviewed
31s