Skip to content
Governance

feat: EchoResidueCell — Agda mirror of 007's Holding/Spent once-only discipline #469

Sign in to view logs

feat: EchoResidueCell — Agda mirror of 007's Holding/Spent once-only discipline

feat: EchoResidueCell — Agda mirror of 007's Holding/Spent once-only discipline #469

Triggered via pull request June 20, 2026 19:33
@hyperpolymathhyperpolymath
opened #250
claude/echo-residue-cell
Status Success
Total duration 18s
Artifacts –

governance.yml

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

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