Lean 4 Build #35
Triggered via pull request
August 24, 2026 05:50
hyperpolymath
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
The actions gaurav-nelson/github-action-markdown-link-check@d53a906aa6b22b8979d33bc86170567e619495ec and mlugg/setup-zig@d1434d08867e3ee9daa34448df10607b98908d29 are not allowed in hyperpolymath/gnpl because all actions must be from a repository owned by hyperpolymath, created by GitHub, or verified in the GitHub Marketplace.
|