github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #755 from powdr-labs/reorder-tests-ci

Browse Source 
Placing faster checks first.
This commit is contained in:
Leo
2023-11-07 14:11:42 +00:00
committed by GitHub
parent f5e176dee6 d1b74b7680
commit 18a34faf4b
1 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
.github/workflows/pr-tests.yml vendored
View File

@@ -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