Skip to content

[new release] zarith (1.13+dune) #55

[new release] zarith (1.13+dune)

[new release] zarith (1.13+dune) #55

Triggered via pull request November 6, 2023 15:34
Status Startup failure
Total duration
Artifacts

ci.yml

on: pull_request
Matrix: Test
Waiting for pending jobs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Invalid workflow file: .github/workflows/ci.yml#L11
The workflow is not valid. .github/workflows/ci.yml (Line: 11, Col: 5): Required property is missing: runs-on