Dotty

prevent crash when extension not found (#18830) #26409

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.