Dotty

Fix i18629 #26408

Sign in to view logs

Annotations

5 errors

RPC failed; HTTP 404 curl 22 The requested URL returned error: 404

the remote end hung up unexpectedly

repository 'https://github.com/lampepfl/dotty/' not found

repository 'https://github.com/lampepfl/dotty/' not found

The process '/usr/bin/git' failed with exit code 128

The logs for this run have expired and are no longer available.