[WIP] Python DBESDK #1291
lucasmcdonald3pull.yml
on: pull_request
getVersion
/
getDafnyVersion
getVerifyVersion
/
getDafnyVerifyVersion
Matrix: pr-ci-codegen / code-generation
Waiting for pending jobs
Matrix: pr-ci-format / format_projects
Waiting for pending jobs
Matrix: pr-ci-java-examples / testJava
Waiting for pending jobs
Matrix: pr-ci-java-test-vectors / testJava
Waiting for pending jobs
Matrix: pr-ci-java / testJava
Waiting for pending jobs
Matrix: pr-ci-net-examples / dotNetExamples
Waiting for pending jobs
Matrix: pr-ci-net-test-vectors / testDotNet
Waiting for pending jobs
Matrix: pr-ci-net / testDotNet
Waiting for pending jobs
Matrix: pr-ci-python-testvectors-client / testPython
Waiting for pending jobs
Matrix: pr-ci-python / testPython
Waiting for pending jobs
Matrix: pr-ci-rust / testRust
Waiting for pending jobs
Matrix: pr-ci-test-vector-verification / verification
Waiting for pending jobs
Matrix: pr-ci-verification / verification
Waiting for pending jobs
pr-ci-all-required
Annotations
1 error
|
Invalid workflow file:
.github/workflows/pull.yml#L64
The workflow is not valid. .github/workflows/pull.yml (Line: 64, Col: 11): Input mpl-dafny is required, but not provided while calling. .github/workflows/pull.yml (Line: 64, Col: 11): Input mpl-version is required, but not provided while calling.
|