Skip to content

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma #187

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma #187

Triggered via pull request June 2, 2026 17:22
Status Success
Total duration 33s
Artifacts

governance.yml

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

Annotations

3 warnings and 2 notices
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
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 16th, 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 / Language / package anti-pattern policy
affinescript compiler unavailable on runner — skipping drift check
governance / Validate Hypatia baseline
No .hypatia-baseline.json — language-policy gate will treat every banned-language file as new.