Dafny Nightly #607
josecorellanightly.yml
on: schedule
Matrix: dafny-nightly-format / format_projects
Waiting for pending jobs
Matrix: dafny-nightly-java / testJava
Waiting for pending jobs
Matrix: dafny-nightly-net / testDotNet
Waiting for pending jobs
Matrix: dafny-nightly-verification / verification
Waiting for pending jobs
getVersion
/
getDafnyVersion
Matrix: dafny-nightly-rust / testRust
Waiting for pending jobs
Matrix: dafny-nightly-test-vector-verification / verification
Waiting for pending jobs
Matrix: dafny-nightly-test-vectors-java / testJava
Waiting for pending jobs
Matrix: dafny-nightly-test-vectors-net / testDotNet
Waiting for pending jobs
cut-issue-on-failure
Annotations
1 error
|
Invalid workflow file:
.github/workflows/nightly.yml#L37
The workflow is not valid. .github/workflows/nightly.yml (Line: 37, Col: 3): Error calling workflow 'aws/aws-database-encryption-sdk-dynamodb/.github/workflows/ci_test_java.yml@0124ca678782df3da577397bfc12c11ab72965e3'. The nested job 'testJava' is requesting 'id-token: write', but is only allowed 'id-token: none'.
|