Skip to content

chore: bump lean-toolchain to v4.2.0-rc4 #8

chore: bump lean-toolchain to v4.2.0-rc4

chore: bump lean-toolchain to v4.2.0-rc4 #8

Triggered via push October 21, 2023 22:29
Status Startup failure
Total duration
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test.yml

on: push
test
test
Fit to window
Zoom out
Zoom in

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