Repository navigation
Agda Meta-Checker #122
hyperpolymathThis 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/agda-meta-checker.yml
|