Skip to content
.github/workflows/push.yml

New approach to the weekly CI #1

Sign in to view logs

New approach to the weekly CI

New approach to the weekly CI #1

Re-run triggered November 13, 2024 12:58
@NadrierilNadrieril
ca147c5
rework-ci
Status Startup failure
Total duration –
Artifacts –

push.yml

on: push
bertie
bertie
charon
charon
eurydice
eurydice
hax
hax
ml-kem
ml-kem
failure
failure
success
success
Fit to window
Zoom out
Zoom in

Annotations

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