about summary refs log tree commit diff
path: root/src/ci/docker/x86_64-gnu-tools
AgeCommit message (Expand)AuthorLines
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