Miri can't find target triple in CI
โ Rust ๐ 2026-01-10 ๐ค surdeus ๐๏ธ 1I'm getting the following error in GitHub Actions CI:
Run cargo -Zgitoxide -Zgit miri nextest run --target riscv64a23-unknown-linux-gnu --locked
info: syncing channel updates for 'nightly-2026-01-01-x86_64-unknown-linux-gnu'
info: latest update on 2026-01-01, rust version 1.94.0-nightly (8d670b93d 2025-12-31)
info: downloading component 'cargo'
info: downloading component 'clippy'
info: downloading component 'miri'
info: downloading component 'rust-docs'
info: downloading component 'rust-src'
info: downloading component 'rust-std'
info: downloading component 'rustc'
info: downloading component 'rustfmt'
info: installing component 'cargo'
info: installing component 'clippy'
info: installing component 'miri'
info: installing component 'rust-docs'
info: installing component 'rust-src'
info: installing component 'rust-std'
info: installing component 'rustc'
info: installing component 'rustfmt'
Preparing a sysroot for Miri (target: riscv64a23-unknown-linux-gnu)... done
error: unknown triple string: riscv64a23-unknown-linux-gnu
โโโถ triple not in builtin platforms and heuristic parsing failed
โฐโโถ Unrecognized architecture: riscv64a23
โญโโโโ
1 โ riscv64a23-unknown-linux-gnu
ยท โโโโโโโโโโโโโโโฌโโโโโโโโโโโโโ
ยท โฐโโ triple not in builtin platforms and heuristic parsing failed
โฐโโโโ
My rust-toolchain.toml contains the following, as such I do not have explicit toolchain steps:
[toolchain]
channel = "nightly-2026-01-01"
components = ["miri", "rust-src"]
targets = []
profile = "default"
Even more confusingly, it works locally with the same exact version of rustup 1.28.2.
Any idea why would CI be any different? It seems like it is using some components from stable toolchain that do not know about that triple yet despite logs saying otherwise.
2 posts - 2 participants
๐ท๏ธ Rust_feed