Resolve the monad/comonad/adjunction variance of loss in --safe Agda #454
hyperpolymathgovernance.yml
on: pull_request
governance
/
Validate Hypatia baseline
4s
governance
/
...
/
package anti-pattern policy
13s
governance
/
...
/
Nix fallback policy
4s
governance
/
Security policy checks
5s
governance
/
Code quality + docs
10s
governance
/
Well-Known (RFC 9116 + RSR)
5s
governance
/
Workflow security linter
4s
governance
/
Trusted-base reduction policy
6s
governance
/
Licence consistency
7s
Annotations
1 warning and 2 notices
|
governance / Code quality + docs
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: editorconfig-checker/action-editorconfig-checker@4b6cd6190d435e7e084fb35e36a096e98506f7b9. 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.
|
|
governance / Language / package anti-pattern policy
affinescript compiler unavailable on runner — skipping drift check
|