Skip to content

Actions: nyu-acsys/template-proofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add a script to count spec and proof instructions CI #118: Commit 6444326 pushed by nrp364
January 19, 2025 21:27 15s master
master
January 19, 2025 21:27 15s