Lean Proofs #59
hyperpolymathThis workflow graph cannot be shown
A graph will be generated the next time this workflow is run.
Annotations
1 error
|
Error
The action leanprover/lean-action@38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9 is not allowed in hyperpolymath/phronesis because all actions must be from a repository owned by hyperpolymath, created by GitHub, or verified in the GitHub Marketplace. All actions must also be pinned to a full-length commit SHA.
|