From b0e253a5c89fbc736253d1954b2665c0e14f5a64 Mon Sep 17 00:00:00 2001 From: Waffle Lapkin Date: Mon, 13 May 2024 12:55:27 +0200 Subject: [PATCH] Use "minimal" profile for rustup, so we don't download unnecessary things in CI --- code/rust-toolchain.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/code/rust-toolchain.toml b/code/rust-toolchain.toml index 250d301..bfe520c 100644 --- 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"]