Skip to content
Governance

ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 … #64

Sign in to view logs

ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 …

ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 … #64

Run time

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