Skip to content
Governance

fix(hypatia): scope-narrow agda_postulate alert on Exploratory module via inline allow #261

Sign in to view logs

fix(hypatia): scope-narrow agda_postulate alert on Exploratory module via inline allow

fix(hypatia): scope-narrow agda_postulate alert on Exploratory module via inline allow #261

Run time

Learn about OS pricing on GitHub Actions
Job Run time
governance / Language / package anti-pattern policy
10s
governance / Licence consistency
5s
governance / Guix primary / Nix fallback policy
6s
governance / Validate Hypatia baseline
6s
governance / Code quality + docs
15s
governance / Workflow security linter
6s
governance / Trusted-base reduction policy
5s
governance / Well-Known (RFC 9116 + RSR)
3s
governance / Security policy checks
6s
1m 2s