continuous integration

chore: skip lakefile.olean from ProofWidgets #9

Sign in to view logs

Triggered via push October 24, 2023 05:29

kim-em

master

Status Startup failure

Total duration –

Artifacts –

test.yml

on: push

Annotations

1 error

Invalid workflow file: .github/workflows/test.yml#L8

The workflow is not valid. .github/workflows/test.yml (Line: 8, Col: 5): Required property is missing: runs-on