Bootstrap

Fix file+noindex URI usage on Windows #12564

Sign in to view logs

Annotations

2 errors and 3 warnings

Canceling since a higher priority waiting request for 'refs/pull/10728/merge-Bootstrap' exists

bootstrap.py

The operation was canceled.

bootstrap.py

The import of ‘try’ from module ‘Control.Exception’ is redundant

bootstrap.py

The import of ‘System.OsString.Internal.Types’ is redundant

bootstrap.py

The qualified import of ‘System.OsString.Data.ByteString.Short’ is redundant