Skip to content
Coq Proof Gate

fix(ci): unbreak workflow YAML and add a complete actions.lock #15

Sign in to view logs

fix(ci): unbreak workflow YAML and add a complete actions.lock

fix(ci): unbreak workflow YAML and add a complete actions.lock #15

Triggered via pull request August 27, 2026 04:46
@hyperpolymathhyperpolymath
opened #728
fix/workflow-dependency-locking
Status Success
Total duration 1m 33s
Artifacts –

coq-proof-gate.yml

on: pull_request
coq-proofs
1m 28s
coq-proofs
Fit to window
Zoom out
Zoom in