Repository navigation
ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths #673
Triggered via pull request
November 9, 2026 15:49
hyperpolymath
Status
Success
Total duration
2h 3m 19s
Artifacts
–
governance.yml
on: pull_request
governance
/
Check Workflow Staleness
10s
governance
/
UUID v7 conformance
7s
governance
/
UUID v8 conformance
6s
governance
/
Allowlist Preflight
9s
governance
/
Live Actions policy (credentialed advisory)
5s
governance
/
...
/
package anti-pattern policy
7s
governance
/
Guix packaging policy (Nix retired)
12s
governance
/
Security policy checks
6s
governance
/
Code quality + docs
9s
governance
/
Well-Known (RFC 9116 + RSR)
6s
governance
/
Workflow security linter
22s
governance
/
Actions lockfile verify
8s
governance
/
Trusted-base reduction policy
6s
governance
/
Licence consistency
5s
governance
/
Exemption ratchet
12s
governance
/
Debt ratchet
10s
governance
/
JS runtimes — environment provisions Bun first
11s
Matrix: governance / js-runtimes
governance
/
Validate Hypatia Baseline
5s
Annotations
6 warnings and 29 notices
|
governance / Check Workflow Staleness:
./.github/workflows/hypatia-scan.yml#L0
hypatia-scan-reusable.yml pin a797d308c051 could not be checked against the known-bad list (local standards history unavailable and the compare API unreachable). This check was SKIPPED, not passed.
|
|
governance / Check Workflow Staleness:
./.github/workflows/governance.yml#L0
governance-reusable.yml pin a797d308c051 could not be checked against the known-bad list (local standards history unavailable and the compare API unreachable). This check was SKIPPED, not passed.
|
|
governance / Well-Known (RFC 9116 + RSR)
Missing RSR recommended files: security.txt ai.txt humans.txt
|
|
governance / Well-Known (RFC 9116 + RSR)
No security.txt found.
|
|
governance / Code quality + docs
TODO/FIXME/HACK/XXX markers found (informational only):
|
|
governance / Code quality + docs
Executable .sh files found (informational only):
|
|
governance / Live Actions policy (credentialed advisory)
Live Actions policy was not evaluated: HYPATIA_SCAN_PAT was not supplied by the caller. The separate tree allowlist gate still ran.
|
|
governance / Live Actions policy (credentialed advisory)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Allowlist Preflight
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / UUID v8 conformance
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / UUID v7 conformance
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Check Workflow Staleness:
./.github/workflows/scorecard.yml#L0
scorecard-reusable.yml pin 333b06a01db1 is 74 commit(s) / 20d behind standards HEAD — outside the recency window (>50 commits AND >14d). Advisory only: no known defect is attached to this pin. Refresh toward a797d308c051 with scripts/propagate-workflow-pins.sh.
|
|
governance / Check Workflow Staleness
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Language / package anti-pattern policy
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Security policy checks
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Well-Known (RFC 9116 + RSR)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Exemption ratchet
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Licence consistency
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Trusted-base reduction policy
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Actions lockfile verify
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Workflow security linter
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / JS runtimes — bun
No package.json: 0 JavaScript manifests, nothing for the bun leg to check.
|
|
governance / JS runtimes — bun
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / JS runtimes — deno
No package.json: 0 JavaScript manifests, nothing for the deno leg to check.
|
|
governance / JS runtimes — deno
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Code quality + docs
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / JS runtimes — pnpm
No package.json: 0 JavaScript manifests, nothing for the pnpm leg to check.
|
|
governance / JS runtimes — pnpm
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Debt ratchet
gate scripts taken from the pinned standards checkout
|
|
governance / Debt ratchet
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
js-runtimes
built from .standards-js/tools/js-runtimes
|
|
governance / JS runtimes — environment provisions Bun first
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Guix packaging policy (Nix retired)
Guix is the estate primary; a sealed container is the accepted escape hatch for the not-in-Guix / non-free tail.
|
|
governance / Guix packaging policy (Nix retired)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Validate Hypatia Baseline
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|