mirror of
https://github.com/zama-ai/tfhe-rs.git
synced 2026-01-08 22:28:01 -05:00
chore(ci): force installation of toolchain for tfhe-lints
- also update toolchain.txt to match the tfhe-lint toolchain
This commit is contained in:
committed by
Nicolas Sarlin
parent
d06e8d1e87
commit
52a1191474
@@ -9,7 +9,7 @@ publish = false
|
||||
crate-type = ["cdylib"]
|
||||
|
||||
[dependencies]
|
||||
clippy_utils = { git = "https://github.com/rust-lang/rust-clippy", rev = "ff4a26d442bead94a4c96fb1de967374bc4fbd8e" }
|
||||
clippy_utils = { git = "https://github.com/rust-lang/rust-clippy", rev = "238edf273d195c8e472851ebd60571f77f978ac8" }
|
||||
dylint_linting = "3.2.1"
|
||||
|
||||
[dev-dependencies]
|
||||
@@ -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"
|
||||
|
||||
@@ -1,3 +1,4 @@
|
||||
[toolchain]
|
||||
channel = "nightly-2024-11-28"
|
||||
channel = "nightly-2025-02-20"
|
||||
components = ["llvm-tools-preview", "rustc-dev"]
|
||||
profile = "default"
|
||||
|
||||
Reference in New Issue
Block a user