search

tosc-rs / mnemos

An Operating System for Building Small Computers
https://mnemos.dev
Apache License 2.0
253 stars 18 forks source link

chore(ci): run Miri on our pinned nightly #314

Closed hawkw closed 5 months ago

hawkw commented 5 months ago

Currently, the CI Miri test job installs the latest nightly and runs Miri tests on that nightly. Since mnemOS already only builds on nightly, though, we should be using the pinned toolchain revision instead. This commit changes our Miri job to run on the nightly in rust-toolchain.toml.

Fixes #313

hawkw commented 5 months ago

wait, what? apparently CI is not honoring the toolchain file at all? https://github.com/tosc-rs/mnemos/actions/runs/8634113195/job/23668772573?pr=314#step:3:14

hawkw commented 5 months ago

wait, what? apparently CI is not honoring the toolchain file at all? https://github.com/tosc-rs/mnemos/actions/runs/8634113195/job/23668772573?pr=314#step:3:14

315 fixes this