summary refs log tree commit diff
path: root/src/ci/docker/x86_64-gnu-tools
AgeCommit message (Expand)AuthorLines
2018-05-08[beta] Prepare the 1.27.0 beta releaseAlex Crichton-5/+1
2018-04-23Fix the miri toolOliver Schneider-1/+1
2018-02-24Run the external doc tests in tools job.kennytm-12/+27
2018-02-23Disallow toolstate regression at the last week of the 6-week cycle.kennytm-0/+49
2018-02-05Update clippy and miri submoduleOliver Schneider-1/+1
2017-12-30Requires tools to test-pass if the corresponding submodule is updated.kennytm-1/+23
2017-12-27Clarify toolstate names. Move publish.py to a more convenient location.kennytm-106/+1
2017-12-27Upload the toolstate to the remote repository.kennytm-9/+212
2017-12-26Fixup some previous configuration errors.kennytm-1/+4
2017-12-03Update the tools CI to use --no-fail-fast and --save-toolstates.kennytm-6/+43
2017-12-03Move the swap the tools test and cargotest within check-aux.kennytm-0/+25