Use "minimal" profile for rustup, so we don't download unnecessary th…

…ings in CI
BoxyUwU · May 13, 2024 · b0e253a · b0e253a
1 parent 444ef91
commit b0e253a
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/code/rust-toolchain.toml b/code/rust-toolchain.toml
@@ -1,4 +1,5 @@
 # We want to pin the precise toolchain used to make sure everything is reproducible.
 [toolchain]
 channel = "nightly-2024-05-10"
+profile = "minimal"
 components = ["miri", "rust-src"]