From d1b74b7680ab34ad226f09ef4cca415edef94f1a Mon Sep 17 00:00:00 2001 From: Lucas Clemente Vella Date: Tue, 7 Nov 2023 13:15:47 +0000 Subject: [PATCH] Placing faster checks first. So that if they fail, they save waiting time. --- .github/workflows/pr-tests.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/pr-tests.yml b/.github/workflows/pr-tests.yml index 048b6ffc2..92771459f 100644 --- a/.github/workflows/pr-tests.yml +++ b/.github/workflows/pr-tests.yml @@ -37,6 +37,12 @@ jobs: run: rustup target add riscv32imac-unknown-none-elf --toolchain nightly-2023-01-03-x86_64-unknown-linux-gnu - name: Install stdlib run: rustup component add rust-src --toolchain nightly-2023-01-03-x86_64-unknown-linux-gnu + - name: Lint + run: cargo clippy --all --all-features -- -D warnings + - name: Format + run: cargo fmt --all --check --verbose + - name: Check benches compile without running them + run: cargo bench --all --all-features --profile pr-tests --no-run - name: Check without Halo2 run: cargo check --all --no-default-features --profile pr-tests - name: Install pilcom @@ -48,9 +54,3 @@ jobs: - name: Run slow tests # Number threads is set to 1 because the runner does not have enough memory for more. run: PILCOM=$(pwd)/pilcom/ cargo test --all --all-features --profile pr-tests --verbose -- --ignored --nocapture --test-threads=1 --exact test_keccak test_vec_median instruction_tests::addi - - name: Lint - run: cargo clippy --all --all-features -- -D warnings - - name: Format - run: cargo fmt --all --check --verbose - - name: Check benches compile without running them - run: cargo bench --all --all-features --profile pr-tests --no-run