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"); } }