From c994c7afccc762b0cc9ab414ae5abc41e8f55984 Mon Sep 17 00:00:00 2001 From: "Mayeul@Zama" Date: Fri, 28 Oct 2022 10:40:29 +0200 Subject: [PATCH] chore(CI): add nightly rust fmt and clippy checks --- .github/workflows/optimizer.yml | 24 +++++++++++++++++++ .../src/bin/v0-parameters-by-level.rs | 2 +- 2 files changed, 25 insertions(+), 1 deletion(-) diff --git a/.github/workflows/optimizer.yml b/.github/workflows/optimizer.yml index cfb554287..9453bfd2b 100644 --- a/.github/workflows/optimizer.yml +++ b/.github/workflows/optimizer.yml @@ -37,3 +37,27 @@ jobs: run: | cargo test --release --no-fail-fast --all-targets make -C concrete-optimizer-cpp test-ci + + nightly-check-concrete-optimizer: + runs-on: ubuntu-20.04 + env: + RUSTFLAGS: -D warnings + steps: + - uses: actions/checkout@v3 + - name: Rust install + uses: actions-rs/toolchain@v1 + with: + toolchain: nightly + override: true + components: rustfmt, clippy + # A SSH private key is required as some dependencies are from private repos + - name: Set ssh keys + uses: webfactory/ssh-agent@v0.6.0 + with: + ssh-private-key: ${{ secrets.CONCRETE_COMPILER_CI_SSH_PRIVATE }} + - name: Formatting + run: cargo fmt --check + + - name: Lint + run: cargo clippy --release --all-targets + diff --git a/v0-parameters/src/bin/v0-parameters-by-level.rs b/v0-parameters/src/bin/v0-parameters-by-level.rs index 8ff608417..609e389b5 100644 --- a/v0-parameters/src/bin/v0-parameters-by-level.rs +++ b/v0-parameters/src/bin/v0-parameters-by-level.rs @@ -40,6 +40,6 @@ fn main() { args.security_level = security_level; let file = File::create(&filename_date).unwrap(); compute_print_results(file, &args).unwrap(); - std::fs::copy(&filename_date, &filename_last).expect("Copy to last failed"); + std::fs::copy(&filename_date, filename_last).expect("Copy to last failed"); } }