CI MPL HEAD #125
josecorellampl-head.yml
on: schedule
getVersion
/
getDafnyVersion
getMplHeadVersion
/
getMplHeadVersion
getVerifyVersion
/
getDafnyVerifyVersion
Matrix: mpl-head-ci-format / format_projects
Waiting for pending jobs
Matrix: mpl-head-ci-net-examples / dotNetExamples
Waiting for pending jobs
Matrix: mpl-head-ci-net-test-vectors / testDotNet
Waiting for pending jobs
Matrix: mpl-head-ci-net / testDotNet
Waiting for pending jobs
Matrix: mpl-head-ci-rust / testRust
Waiting for pending jobs
Matrix: mpl-head-ci-java-examples / testJava
Waiting for pending jobs
Matrix: mpl-head-ci-java-test-vectors / testJava
Waiting for pending jobs
Matrix: mpl-head-ci-java / testJava
Waiting for pending jobs
Matrix: mpl-head-ci-test-vector-verification / verification
Waiting for pending jobs
Matrix: mpl-head-ci-verification / verification
Waiting for pending jobs
Annotations
1 error
|
Invalid workflow file:
.github/workflows/mpl-head.yml#L75
The workflow is not valid. .github/workflows/mpl-head.yml (Line: 75, Col: 17): Invalid input, mpl-head is not defined in the referenced workflow.
|