Skip to content

refactor(proofs/coq): consolidate trusted-base dups (Follow-ups 1+2+3) #96

refactor(proofs/coq): consolidate trusted-base dups (Follow-ups 1+2+3)

refactor(proofs/coq): consolidate trusted-base dups (Follow-ups 1+2+3) #96

Triggered via pull request May 27, 2026 11:30
Status Failure
Total duration 33s
Artifacts

governance.yml

on: pull_request
governance  /  Validate Hypatia baseline
5s
governance / Validate Hypatia baseline
governance  /  ...  /  package anti-pattern policy
12s
governance / Language / package anti-pattern policy
governance  /  ...  /  Nix fallback policy
7s
governance / Guix primary / Nix fallback policy
governance  /  Security policy checks
6s
governance / Security policy checks
governance  /  Code quality + docs
15s
governance / Code quality + docs
governance  /  Well-Known (RFC 9116 + RSR)
7s
governance / Well-Known (RFC 9116 + RSR)
governance  /  Workflow security linter
7s
governance / Workflow security linter
governance  /  Trusted-base reduction policy
8s
governance / Trusted-base reduction policy
Fit to window
Zoom out
Zoom in

Annotations

1 error, 2 warnings, and 1 notice
governance / Trusted-base reduction policy
Process completed with exit code 1.
governance / Language / package anti-pattern policy
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: denoland/setup-deno@e95548e56dfa95d4e1a28d6f422fafe75c4c26fb. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
governance / Code quality + docs
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: editorconfig-checker/action-editorconfig-checker@4b6cd6190d435e7e084fb35e36a096e98506f7b9. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
governance / Validate Hypatia baseline
No .hypatia-baseline.json — language-policy gate will treat every banned-language file as new.