Skip to content
Coq Proof Gate

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coq-proofs
1m 31s
1m 31s