Skip to content

Actions: edwin1729/human-eval-verus

Actions

verusfmt

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verusfmt.yml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of github.com:edwin1729/human-eval-verus verusfmt #2: Commit 25afa53 pushed by edwin1729
December 23, 2024 09:49 26s main
main
December 23, 2024 09:49 26s
Merge branch 'secure-foundations:main' into main verusfmt #1: Commit 1b03c0f pushed by edwin1729
December 23, 2024 09:47 24s main
main
December 23, 2024 09:47 24s