Skip to content
Scorecards supply-chain security

fix: resolve repository issues, port Lean FilesystemCNO, and unify Coq tags #215

Sign in to view logs

fix: resolve repository issues, port Lean FilesystemCNO, and unify Coq tags

fix: resolve repository issues, port Lean FilesystemCNO, and unify Coq tags #215

Triggered via pull request September 26, 2026 19:51
@arena-ai-coding-agentarena-ai-coding-agent[bot]
opened #174
arena/01a0df23-absolute-zero
Status Failure
Total duration 51s
Artifacts –

scorecard.yml

on: pull_request
scorecard  /  Run Scorecard
0s
scorecard / Run Scorecard
scorecard  /  Run Scorecard PR
47s
scorecard / Run Scorecard PR
Fit to window
Zoom out
Zoom in

Annotations

3 errors, 1 warning, and 1 notice
scorecard / Run Scorecard PR
Process completed with exit code 1.
Scorecard reconciliation failed
Reconcile step outcome was 'failure'. Raw SARIF was uploaded so results are not lost, but this run fails by design.
scorecard / Run Scorecard PR
Process completed with exit code 2.
Scorecard reconciliation produced no SARIF
Uploading raw results.sarif. Native action pins will appear UNRECONCILED in this upload.
scorecard / Run Scorecard PR
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"