.github/workflows/scorecard.yml

proof(elixir): TLA+ model of JsWorker — reply-once + liveness verifie… #694

Sign in to view logs

Triggered via push June 24, 2026 17:52

claude/awesome-davinci-8afqgy

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: 37, Col: 5): Unexpected value 'timeout-minutes'