Auto merge of #133902 - Kobzol:ci-dist-arm-runner, r=MarcoIeni · rust-lang/miri@430edc8 · GitHub

Commit

Auto merge of #133902 - Kobzol:ci-dist-arm-runner, r=MarcoIeni

Browse files

CI: move `dist-arm-linux` to an ARM runner

First, I want to test whether we could actually move this to a free runner, vs moving to the 8-core ARM runner.

Fixes: rust-lang/infra-team#181

r? `@MarcoIeni`

try-job: dist-arm-linux

Loading branch information

bors committed Dec 10, 2024

2 parents fd001c4 + b27651f commit 430edc8