CI MPL HEAD #263
Annotations
2 errors
Check solver resource use
Process completed with exit code 2.
|
Setup Dafny
Failed to install dotnet, exit code: 1. ./sdk/9.0.301/DotnetTools/dotnet-dev-certs/9.0.6-servicing.25267.1/tools/net9.0/any/dotnet-dev-certs.dll: truncated gzip input
tar: Error exit delayed from previous errors.
dotnet_install: Error: Extraction failed
|
Loading