kennytm b75f1bade0 Revert "Use public DNS server instead of 169.254.169.254 on CI." ... This reverts commit 32e8bda4e3.		2018-08-16 20:06:55 +08:00
..
docker	Revert "Use public DNS server instead of 169.254.169.254 on CI."	2018-08-16 20:06:55 +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