about summary refs log tree commit diff
path: root/src/ci/docker/x86_64-gnu-tools
AgeCommit message (Collapse)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
If a PR intends to update a tool but its test has failed, abort the merge regardless of current channel. This should help the tool maintainers if the update turns out to be failing due to changes in latest master.
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
The cargotest job is renamed to tools for clarification.