Add sub_mul to GateInstructions
#130
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Tests | |
| on: | |
| push: | |
| branches: ["main", "community-edition"] | |
| pull_request: | |
| branches: ["main", "community-edition"] | |
| env: | |
| CARGO_TERM_COLOR: always | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest-m | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Build | |
| run: cargo build --verbose | |
| - name: Run halo2-base tests | |
| working-directory: 'halo2-base' | |
| run: | | |
| cargo test -- --test-threads=1 | |
| - name: Run poseidon tests | |
| working-directory: 'hashes/poseidon' | |
| run: | | |
| cargo test test_poseidon_compatibility | |
| - name: Run halo2-ecc tests MockProver | |
| working-directory: 'halo2-ecc' | |
| run: | | |
| cargo test -- --test-threads=1 test_fp | |
| cargo test -- test_ecc | |
| cargo test -- test_secp | |
| cargo test -- test_ecdsa | |
| cargo test -- test_ec_add | |
| cargo test -- test_fixed | |
| cargo test -- test_msm | |
| cargo test -- test_sm | |
| cargo test -- test_fb | |
| cargo test -- test_pairing | |
| - name: Run halo2-ecc tests real prover | |
| working-directory: 'halo2-ecc' | |
| run: | | |
| cargo test --release -- test_fp_assert_eq | |
| cargo test --release -- --nocapture bench_secp256k1_ecdsa | |
| cargo test --release -- --nocapture bench_ec_add | |
| mv configs/bn254/bench_fixed_msm.t.config configs/bn254/bench_fixed_msm.config | |
| cargo test --release -- --nocapture bench_fixed_base_msm | |
| mv configs/bn254/bench_msm.t.config configs/bn254/bench_msm.config | |
| cargo test --release -- --nocapture bench_msm | |
| mv configs/bn254/bench_pairing.t.config configs/bn254/bench_pairing.config | |
| cargo test --release -- --nocapture bench_pairing |