about summary refs log tree commit diff
path: root/src/tools/miri/.github/workflows/setup
AgeCommit message (Expand)AuthorLines
2025-06-29test on x86-32 and arm-32Ralf Jung-1/+1
2025-06-29Merge pull request #4424 from RalfJung/aarch64-linux-ciRalf Jung-2/+4
2025-06-29also test on arm-64 linux hostsRalf Jung-2/+4
2025-06-29make ./miri work on stable againRalf Jung-4/+0
2025-02-24make sure we install the toolchain for the intended host targetRalf Jung-1/+5
2024-08-10CI: we now need the nightly toolchain as wellRalf Jung-0/+4
2024-06-21CI: try to share setup code across actionsRalf Jung-0/+52