Dafny Nightly #827
texastonynighly_dafny.yml
on: schedule
getVersion
/
getDafnyVersion
Matrix: dafny-nightly-go / testGo
Waiting for pending jobs
Matrix: dafny-nightly-net / testDotNet
Waiting for pending jobs
Matrix: dafny-nightly-net / testVectors
Waiting for pending jobs
Matrix: dafny-nightly-verification / verification
Waiting for pending jobs
Matrix: dafny-nightly-rust / testRust
Waiting for pending jobs
Matrix: dafny-nightly-rust / testVectors
Waiting for pending jobs
Matrix: dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_python_vectors
Waiting for pending jobs
Matrix: dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / generate_vectors
Waiting for pending jobs
Matrix: dafny_nightly_backwards_interop_esdk / dafny-interop-net / testDotNet
Waiting for pending jobs
Matrix: dafny_nightly_backwards_interop_esdk / dafny-nightly-go / testGo
Waiting for pending jobs
Matrix: dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_python_vectors
Waiting for pending jobs
Matrix: dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / generate_vectors
Waiting for pending jobs
Matrix: dafny_nightly_backwards_interop_mpl / dafny-interop-net / testDotNet
Waiting for pending jobs
Matrix: dafny_nightly_backwards_interop_mpl / dafny-nightly-go / testGo
Waiting for pending jobs
Matrix: dafny_nightly_backwards_interop_esdk / dafny-interop-net-test-vectors / decrypt_net_vectors_with_js
Waiting for pending jobs
Matrix: dafny_nightly_backwards_interop_mpl / dafny-interop-net-test-vectors / decrypt_net_vectors_with_js
Waiting for pending jobs
cut-issue-on-failure
Annotations
1 error
|
Invalid workflow file:
.github/workflows/nighly_dafny.yml#L28
The workflow is not valid. .github/workflows/nighly_dafny.yml (Line: 28, Col: 3): Error calling workflow 'aws/aws-encryption-sdk/.github/workflows/library_net_tests.yml@5d3f2e0659ae6fb4ad7ecb856e933b44ebcc3f45'. The nested job 'testDotNet' is requesting 'id-token: write', but is only allowed 'id-token: none'. .github/workflows/nighly_dafny.yml (Line: 28, Col: 3): Error calling workflow 'aws/aws-encryption-sdk/.github/workflows/library_net_tests.yml@5d3f2e0659ae6fb4ad7ecb856e933b44ebcc3f45'. The nested job 'testVectors' is requesting 'id-token: write', but is only allowed 'id-token: none'.
|