Dafny Nightly #362
Annotations
2 errors
|
Check solver resource use
Process completed with exit code 2.
|
|
Setup Dafny
Failed to install dotnet, exit code: 1. ./sdk/6.0.428/Sdks/Microsoft.NET.Sdk/tools/net6.0/ru/Microsoft.NET.Build.Tasks.resources.dll: truncated gzip input
tar: Error exit delayed from previous errors.
dotnet_install: Error: Extraction failed
|
Loading