chore: Check that DafnyRuntimePython version matches project.properties dafnyVersion #3604
Annotations
1 error and 4 warnings
|
Set up job
Operation timed out (api.github.com:443)
|
|
Set up job
Failed to download action 'https://api.github.com/repos/dafny-lang/setup-dafny-action/tarball/f2a62432e820c6b0519d308c440b88d7eee411e4'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
Set up job
Back off 12.659 seconds before retry.
|
|
Set up job
Failed to download action 'https://api.github.com/repos/dafny-lang/setup-dafny-action/tarball/f2a62432e820c6b0519d308c440b88d7eee411e4'. Error: Operation timed out (codeload.github.com:443)
|
|
Set up job
Back off 28.03 seconds before retry.
|
Loading