Hans Kratz 7b5f1b5028 CI: Use mirror for downloads. ...

Crosstool-ng 1.22 used by those docker dist builds only allows one
mirror for all downloads.

2021-10-08 08:44:40 +02:00

..

azure-pipelines

…

docker

…

github-actions

…

scripts

…

channel

…

cpu-usage-over-time.py

…

init_repo.sh

…

pgo.sh

…

publish_toolstate.sh

…

run.sh

…

shared.sh

…