| Age | Commit message (Expand) | Author | Lines |
|---|---|---|---|
| 2025-06-29 | test on x86-32 and arm-32 | Ralf Jung | -1/+1 |
| 2025-06-29 | Merge pull request #4424 from RalfJung/aarch64-linux-ci | Ralf Jung | -2/+4 |
| 2025-06-29 | also test on arm-64 linux hosts | Ralf Jung | -2/+4 |
| 2025-06-29 | make ./miri work on stable again | Ralf Jung | -4/+0 |
| 2025-02-24 | make sure we install the toolchain for the intended host target | Ralf Jung | -1/+5 |
| 2024-08-10 | CI: we now need the nightly toolchain as well | Ralf Jung | -0/+4 |
| 2024-06-21 | CI: try to share setup code across actions | Ralf Jung | -0/+52 |
