.github/workflows/scorecard.yml

proof(ordinal): general head-Ω monotonicity `head-Ω-mono` (Gate 1 bui… #186

Sign in to view logs

Triggered via push June 13, 2026 12:38

claude/quirky-gauss-GaGZo

Status Failure

Total duration –

Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error

Invalid workflow file: .github/workflows/scorecard.yml#L1

(Line: 25, Col: 5): Unexpected value 'timeout-minutes'