summary refs log tree commit diff
path: root/src/ci/docker/x86_64-gnu-tools/Dockerfile
AgeCommit message (Collapse)AuthorLines
2020-04-10Enforce Python 3 as much as possibleGuillaume Gomez-1/+1
2019-12-10Move CI to new builtin check-toolstateMark Rousskov-3/+1
2019-10-30ci: move toolstates.json to /tmp/toolstate/ and docker mount itPietro Albini-2/+2
Before this commit toolstates.json was stored in /tmp and it wasn't mounted outside the build container. That caused uploading the file in the upload-artifacts task to fail, as the file was missing on the host. Mounting /tmp/toolstates.json alone is not the best approach: if the file is missing when the container is started the Docker engine will create a *directory* named /tmp/toolstates.json. The Docker issue could be solved by pre-creating an empty file named /tmp/toolstates.json, but doing that could cause problems if bootstrap fails to generate the file and the toolstate scripts receive an empty JSON. The approach I took in this commit is to instead mount a /tmp/toolstate directory inside Docker, and create the toolstates.json file in it. That also required a small bootstrap change to ensure the directory is created if it's missing.
2019-08-09Check links on all platforms when running locallyMateusz MikuĊ‚a-0/+3
2019-08-08remove test-miri flag from bootstrapRalf Jung-1/+0
2018-02-23Disallow toolstate regression at the last week of the 6-week cycle.kennytm-0/+1
2017-12-27Upload the toolstate to the remote repository.kennytm-1/+2
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/+4
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.