about summary refs log tree commit diff
path: root/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh
AgeCommit message (Expand)AuthorLines
2023-11-20Test with -Zmiri-provenance-gc=1 on LinuxBen Kimock-1/+10
2023-10-30update which targets we test Miri onRalf Jung-3/+26
2022-10-30skip bootstrap target sanity checks when testing MiriRalf Jung-7/+4
2022-10-29Drop miri cross-compile check for WindowsMark Rousskov-1/+5
2022-10-25Miri: disable macOS testing for nowRalf Jung-1/+2
2022-10-24add support for testing Miri on other targets, and do some cross-testing on CIRalf Jung-0/+4
2022-10-14checktools: fix commentsRalf Jung-1/+3
2022-09-21Remove miri from the submodule list and require it for CI to passOli Scherer-1/+1
2022-08-27Sunset RLSEric Huss-1/+0
2021-05-14Update bootstrap for in-tree rustfmtJoshua Nelson-1/+1
2020-07-28Use --stage 2 in checktoolsJoshua Nelson-3/+3
2020-07-03ci: move all x86_64 runners to the host-x86_64 directoryPietro Albini-0/+26