Dafny Nightly #307
ShubhamChaturvedi7nightly_dafny.yml
on: schedule
dafny-nightly-java
/
populate-matrix-dimensions
dafny-nightly-net
/
populate-matrix-dimensions
dafny-nightly-python
/
populate-matrix-dimensions
dafny-nightly-rust
/
populate-matrix-dimensions
dafny-nightly-verification
/
populate-matrix-dimensions
Matrix: dafny-nightly-java / testJava
Waiting for pending jobs
Matrix: dafny-nightly-net / testDotNet
Waiting for pending jobs
Matrix: dafny-nightly-python / testPython
Waiting for pending jobs
Matrix: dafny-nightly-rust / testRust
Waiting for pending jobs
Matrix: dafny-nightly-verification / verification
Waiting for pending jobs
cut-issue-on-failure
Annotations
1 error
|
Invalid workflow file:
.github/workflows/nightly_dafny.yml#L20
The workflow is not valid. .github/workflows/nightly_dafny.yml (Line: 20, Col: 3): Error calling workflow 'ShubhamChaturvedi7/smithy-dafny/.github/workflows/test_models_java_tests.yml@317bfcb6d0c1f03b9002dabe5bce1f2f92bfd939'. The nested job 'testJava' is requesting 'id-token: write', but is only allowed 'id-token: none'.
|