Skip to content

ABI Layer 3: affine composition law over disjoint variable sets (#38) #66

ABI Layer 3: affine composition law over disjoint variable sets (#38)

ABI Layer 3: affine composition law over disjoint variable sets (#38) #66

Triggered via push June 28, 2026 05:38
Status Failure
Total duration 29s
Artifacts

governance.yml

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

Annotations

1 error and 4 notices
governance / Language / package anti-pattern policy
Process completed with exit code 1.
governance / Check Workflow Staleness: ./.github/workflows/scorecard.yml#L0
scorecard-reusable.yml pin d7c22711e830 is 5 commit(s) / 1d behind standards HEAD — within the recency window (<=50 commits or <=14d). Bump deliberately with scripts/propagate-workflow-pins.sh when convenient.
governance / Check Workflow Staleness: ./.github/workflows/hypatia-scan.yml#L0
hypatia-scan-reusable.yml pin d7c22711e830 is 5 commit(s) / 1d behind standards HEAD — within the recency window (<=50 commits or <=14d). Bump deliberately with scripts/propagate-workflow-pins.sh when convenient.
governance / Check Workflow Staleness: ./.github/workflows/governance.yml#L0
governance-reusable.yml pin d7c22711e830 is 5 commit(s) / 1d behind standards HEAD — within the recency window (<=50 commits or <=14d). Bump deliberately with scripts/propagate-workflow-pins.sh when convenient.
governance / Language / package anti-pattern policy
affinescript compiler unavailable on runner — skipping drift check