summary refs log tree commit diff
path: root/src/ci/docker/x86_64-gnu-tools/checktools.sh
AgeCommit message (Expand)AuthorLines
2018-04-02Don't verify miri's build status on betaAlex Crichton-1/+0
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/+8
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-1/+1
2017-12-27Upload the toolstate to the remote repository.kennytm-8/+15
2017-12-03Update the tools CI to use --no-fail-fast and --save-toolstates.kennytm-0/+39