Skip to content
Lean 4 Build

fix(licence): supply the actual MPL-2.0 text — repo was effectively u… #40

Sign in to view logs

fix(licence): supply the actual MPL-2.0 text — repo was effectively u…

fix(licence): supply the actual MPL-2.0 text — repo was effectively u… #40

Triggered via push August 26, 2026 07:44
@hyperpolymathhyperpolymath
pushed 9d75974
main
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 mlugg/setup-zig@d1434d08867e3ee9daa34448df10607b98908d29 and gaurav-nelson/github-action-markdown-link-check@d53a906aa6b22b8979d33bc86170567e619495ec 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.