Miri can't find target triple in CI

โš“ Rust    ๐Ÿ“… 2026-01-10    ๐Ÿ‘ค surdeus    ๐Ÿ‘๏ธ 1      

surdeus

I'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

Read full topic

๐Ÿท๏ธ Rust_feed