Skip to content

Actions: zero-to-nat/human-eval-verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

code review verusfmt #3: Commit 920ea26 pushed by zero-to-nat
December 6, 2024 17:08 26s main
main
December 6, 2024 17:08 26s
simplify proof verusfmt #2: Commit 13d07c3 pushed by zero-to-nat
December 4, 2024 18:41 31s main
main
December 4, 2024 18:41 31s
Merge branch 'secure-foundations:main' into main verusfmt #1: Commit b9f6bda pushed by zero-to-nat
December 4, 2024 01:21 21s main
main
December 4, 2024 01:21 21s