diff options
| author | Dario Nieuwenhuis <[email protected]> | 2023-11-24 21:33:30 +0100 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2023-11-24 23:52:09 +0100 |
| commit | 1fbc150fd6392d8268aa35d15380c02e363c4eb8 (patch) | |
| tree | 895711da5ee33944f5374c1572a4d60e370a1640 /rust-toolchain.toml | |
| parent | 259cf6192b920dff4cce0486488d929bf4e05b96 (diff) | |
executor: add some tests.
Diffstat (limited to 'rust-toolchain.toml')
| -rw-r--r-- | rust-toolchain.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 419c31085..11f53ee4a 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml | |||
| @@ -2,7 +2,7 @@ | |||
| 2 | # https://rust-lang.github.io/rustup-components-history | 2 | # https://rust-lang.github.io/rustup-components-history |
| 3 | [toolchain] | 3 | [toolchain] |
| 4 | channel = "nightly-2023-11-01" | 4 | channel = "nightly-2023-11-01" |
| 5 | components = [ "rust-src", "rustfmt", "llvm-tools" ] | 5 | components = [ "rust-src", "rustfmt", "llvm-tools", "miri" ] |
| 6 | targets = [ | 6 | targets = [ |
| 7 | "thumbv7em-none-eabi", | 7 | "thumbv7em-none-eabi", |
| 8 | "thumbv7m-none-eabi", | 8 | "thumbv7m-none-eabi", |