Dafny Nightly #459
josecorellaThis workflow graph cannot be shown
A graph will be generated the next time this workflow is run.
Annotations
1 error
|
Invalid workflow file:
.github/workflows/nightly_dafny.yml#L41
The workflow is not valid. .github/workflows/nightly_dafny.yml (Line: 41, Col: 12): Job 'dafny-nightly-python' depends on unknown job 'getVersion'.
|