Skip to content

Actions: Verifrax/proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
96 workflow runs
96 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add baseline .gitignore hygiene block (#16)
Surface projection validation #29: Commit fe62b08 pushed by midiakiasat
8s main
Add baseline .gitignore hygiene block (#16)
Publish VERIFRAX proof surface #18: Commit fe62b08 pushed by midiakiasat
21s main
Add baseline .gitignore hygiene block (#16)
.github/workflows/determinism-check.yml #25: Commit fe62b08 pushed by midiakiasat
Failure main
Normalize LICENSE to Apache-2.0 canonical text (#15)
.github/workflows/determinism-check.yml #23: Commit 96e60b4 pushed by midiakiasat
Failure main
Normalize Apache-2.0 LICENSE text (#14)
Publish VERIFRAX proof surface #16: Commit 590da3b pushed by midiakiasat
21s main
Normalize Apache-2.0 LICENSE text (#14)
Surface projection validation #24: Commit 590da3b pushed by midiakiasat
7s main
Normalize Apache-2.0 LICENSE text (#14)
.github/workflows/determinism-check.yml #20: Commit 590da3b pushed by midiakiasat
Failure main