Skip to content

feat(idris-dependents): read-only audit for external Idris2 dependents #1478

feat(idris-dependents): read-only audit for external Idris2 dependents

feat(idris-dependents): read-only audit for external Idris2 dependents #1478

Triggered via pull request October 27, 2026 11:42
Status 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
Invalid workflow file: .github/workflows/governance.yml#L38
error parsing called workflow ".github/workflows/governance.yml" -> "hyperpolymath/standards/.github/workflows/governance-reusable.yml@75bd5994470661a099df562d6d5ad2fe744dbd66" : workflow was not found. See https://docs.github.com/actions/learn-github-actions/reusing-workflows#access-to-reusable-workflows for more information.