summary refs log tree commit diff
path: root/src/ci/docker/x86_64-gnu-tools/checktools.sh
AgeCommit message (Expand)AuthorLines
2018-01-02Don't verify miri/clippy for nowAlex Crichton-4/+2
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