Idris2 ABI Type-Check #198
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/idris2-abi-ci.yml
|