Repository navigation
Coq Build (formal/) #259
Triggered via pull request
August 11, 2026 03:27
dependabot[bot]
Status
Startup failure
Total duration
–
Artifacts
–
This workflow graph cannot be shown
A graph will be generated the next time this workflow is run.
Annotations
1 error
|
Error
Workflow must use a lockfile. Run `gh actions pin <workflow-path>` to generate one.
The following workflows are missing a lockfile:
- .github/workflows/coq-build.yml
|