proof(abi): machine-checked layout proofs for all 8 ABI structs (Idris2 0.7.0) #58
hyperpolymathgovernance.yml
on: pull_request
governance
/
Check Workflow Staleness
7s
governance
/
Validate Hypatia Baseline
Annotations
6 errors
|
governance / Check Workflow Staleness
Process completed with exit code 1.
|
|
governance / Check Workflow Staleness
Remove legacy scorecard-enforcer.yml, refresh standards reusable pins, and keep Scorecard out of GitHub Code Scanning unless it runs for every PR head commit.
|
|
governance / Check Workflow Staleness:
./.github/workflows/scorecard.yml#L0
Workflow pins stale Scorecard reusable that publishes SARIF / causes Code Scanning waits. Refresh to current standards SHA.
|
|
governance / Check Workflow Staleness:
./.github/workflows/scorecard-enforcer.yml#L0
OSSF Scorecard must not upload SARIF to GitHub Code Scanning unless it runs for every PR head commit.
|
|
governance / Check Workflow Staleness:
./.github/workflows/governance.yml#L0
Workflow pins stale governance reusable. Refresh to current standards SHA.
|
|
governance / Check Workflow Staleness
scorecard-enforcer.yml is retired. Use scorecard.yml -> standards scorecard-reusable.yml instead.
|