chore(ci): force installation of toolchain for tfhe-lints

zama-ai · Mar 3, 2025 · 9c112b2 · 9c112b2
1 parent b6370c9
commit 9c112b2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -431,6 +431,7 @@ clippy_versionable: install_rs_check_toolchain
 .PHONY: clippy_tfhe_lints # Run clippy lints on tfhe-lints
 clippy_tfhe_lints: install_cargo_dylint # the toolchain is selected with toolchain.toml
 	cd utils/tfhe-lints && \
+	rustup toolchain install && \
 	cargo clippy --all-targets -- --no-deps -D warnings
 
 .PHONY: clippy_all # Run all clippy targets
@@ -907,6 +908,7 @@ test_versionable: install_rs_build_toolchain
 .PHONY: test_tfhe_lints # Run test on tfhe-lints
 test_tfhe_lints: install_cargo_dylint
 	cd utils/tfhe-lints && \
+	rustup toolchain install && \
 	cargo test
 
 # The backward compat data repo holds historical binary data but also rust code to generate and load them.

diff --git a/utils/tfhe-lints/Cargo.toml b/utils/tfhe-lints/Cargo.toml
@@ -21,5 +21,5 @@ tfhe-versionable = "0.4.0"
 rustc_private = true
 
 [[example]]
-name = "ui" 
-path = "ui/main.rs" 
+name = "ui"
+path = "ui/main.rs"