CI MPL HEAD #378
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#L43
The workflow is not valid. .github/workflows/mpl-head.yml (Line: 43, Col: 3): Error calling workflow 'aws/aws-database-encryption-sdk-dynamodb/.github/workflows/ci_test_java.yml@1b961b585e1b2491424b078add248bf7f319f2a3'. The nested job 'testJava' is requesting 'id-token: write', but is only allowed 'id-token: none'.
|