kennytm d2b5b7603b Do not push a commit if the toolstate is unchanged. ...

This should greatly reduce the commits on the rust-toolstate repository.

`publish_toolstate.py` defaults to keep the old status if a new one is not
found, so nothing needs to be changed to that file.

2018-06-10 04:31:49 +08:00

..

docker

Do not push a commit if the toolstate is unchanged.

2018-06-10 04:31:49 +08:00

init_repo.sh

Update submodules in parallel

2018-03-19 04:50:30 +01:00

run.sh

Check that rustc can be built successfully with parallel queries for PRs.

2018-05-04 06:54:21 +02:00

shared.sh

Retry when downloading the Docker cache.

2018-05-10 20:06:43 +08:00