Dafny Nightly #13
ShubhamChaturvedi7nightly_dafny.yml
on: schedule
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
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@07b8dfe9d5d8d10233e86e6f850d9c4fded966c0'. The nested job 'testJava' is requesting 'id-token: write', but is only allowed 'id-token: none'.
|