Repository navigation
ci(agda): pin the Agda proofs job to ubuntu-24.04 #904
Triggered via pull request
October 20, 2026 13:35
hyperpolymath
Status
Cancelled
Total duration
31m 19s
Artifacts
–
governance.yml
on: pull_request
governance
/
Check Workflow Staleness
10m 3s
governance
/
UUID v7 conformance
30s
governance
/
UUID v8 conformance
29s
governance
/
Allowlist Preflight
19s
governance
/
Live Actions policy (credentialed advisory)
4s
governance
/
...
/
package anti-pattern policy
21s
governance
/
Guix packaging policy (Nix retired)
19s
governance
/
Security policy checks
15s
governance
/
Code quality + docs
20s
governance
/
Well-Known (RFC 9116 + RSR)
10s
governance
/
Workflow security linter
22s
governance
/
Actions lockfile verify
18s
governance
/
Trusted-base reduction policy
16s
governance
/
Licence consistency
14s
governance
/
Exemption ratchet
14s
governance
/
Debt ratchet
17s
governance
/
JS runtimes — environment provisions Bun first
36s
Matrix: governance / js-runtimes
governance
/
Validate Hypatia Baseline
0s
Annotations
2 errors, 5 warnings, and 24 notices
|
governance / Check Workflow Staleness
The job has exceeded the maximum execution time of 10m0s
|
|
governance / Check Workflow Staleness
The operation was canceled.
|
|
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
Files larger than 1M found (informational only):
|
|
governance / Code quality + docs
TODO/FIXME/HACK/XXX markers found (informational only):
|
|
governance / Code quality + docs
Executable .sh files found (informational only):
|
|
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 / 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 / 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 / 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 / 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"
|
|
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 / 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 / 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 / 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 / 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 / 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 / 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 / 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 / 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"
|
|
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 / 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 / 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 / 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"
|