kennytm a9bcbb27b8 Block beta if clippy breaks. ...

Don't fail master pull request when an unrelated tool is not test-pass.

2018-07-17 05:35:19 +08:00

..

docker

Block beta if clippy breaks.

2018-07-17 05:35:19 +08:00

init_repo.sh

Update submodules in parallel

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

run.sh

Enabled core dump on Linux, and print stack trace on failure.

2018-07-13 22:11:02 +08:00

shared.sh

Retry when downloading the Docker cache.

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