Skip to content

ABI Layer 3: schedule equivalence is an equivalence relation (reflexive/symmetric/transitive) #69

ABI Layer 3: schedule equivalence is an equivalence relation (reflexive/symmetric/transitive)

ABI Layer 3: schedule equivalence is an equivalence relation (reflexive/symmetric/transitive) #69

Triggered via pull request June 28, 2026 05:40
Status Success
Total duration 33s
Artifacts

governance.yml

on: pull_request
governance  /  Check Workflow Staleness
6s
governance / Check Workflow Staleness
governance  /  ...  /  package anti-pattern policy
14s
governance / Language / package anti-pattern policy
governance  /  ...  /  Nix fallback policy
6s
governance / Guix primary / Nix fallback policy
governance  /  Security policy checks
6s
governance / Security policy checks
governance  /  Code quality + docs
15s
governance / Code quality + docs
governance  /  Well-Known (RFC 9116 + RSR)
5s
governance / Well-Known (RFC 9116 + RSR)
governance  /  Workflow security linter
5s
governance / Workflow security linter
governance  /  Trusted-base reduction policy
5s
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

4 notices
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