From 9449a1ac8d0d4cef78a623c260b1d7d99919d988 Mon Sep 17 00:00:00 2001 From: Danny Willems Date: Wed, 8 Jan 2025 13:24:26 +0100 Subject: [PATCH 1/2] Make clippy happy for Rust 1.77 --- kimchi/src/precomputed_srs.rs | 1 + msm/src/precomputed_srs.rs | 1 + 2 files changed, 2 insertions(+) diff --git a/kimchi/src/precomputed_srs.rs b/kimchi/src/precomputed_srs.rs index 7dd2347c0d..474f8b6544 100644 --- a/kimchi/src/precomputed_srs.rs +++ b/kimchi/src/precomputed_srs.rs @@ -185,6 +185,7 @@ mod tests { if std::env::var("SRS_OVERWRITE").is_ok() { let mut file = std::fs::OpenOptions::new() .create(true) + .truncate(true) .write(true) .open(srs_path) .expect("failed to open SRS file"); diff --git a/msm/src/precomputed_srs.rs b/msm/src/precomputed_srs.rs index f278914419..1491b9beee 100644 --- a/msm/src/precomputed_srs.rs +++ b/msm/src/precomputed_srs.rs @@ -89,6 +89,7 @@ fn create_and_store_srs_with_path( // Open/create the file let mut file = std::fs::OpenOptions::new() .create(true) + .truncate(true) .write(true) .open(srs_path.clone()) .expect("failed to open SRS file"); From 611255fdc6b8944a7bf59010bdc66c8d8c489ee0 Mon Sep 17 00:00:00 2001 From: Danny Willems Date: Wed, 8 Jan 2025 13:24:53 +0100 Subject: [PATCH 2/2] CI: adding Rust 1.77 --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5b5470a471..c76599eb35 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -73,7 +73,7 @@ jobs: RUST_TOOLCHAIN_COVERAGE_VERSION: "1.74" strategy: matrix: - rust_toolchain_version: ["1.71", "1.72", "1.73", "1.74", "1.75", "1.76"] + rust_toolchain_version: ["1.71", "1.72", "1.73", "1.74", "1.75", "1.76", "1.77"] # FIXME: currently not available for 5.0.0. # It might be related to boxroot dependency, and we would need to bump # up the ocaml-rs dependency