feat: codegen public input columns #104
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: PR tests | |
| on: | |
| pull_request: | |
| merge_group: | |
| env: | |
| CARGO_TERM_COLOR: always | |
| jobs: | |
| test: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| with: | |
| submodules: recursive | |
| - name: ⚡ Cache rust | |
| uses: actions/cache@v3 | |
| with: | |
| path: | | |
| ~/.cargo/registry | |
| ~/.cargo/git | |
| target | |
| key: ${{ runner.os }}-cargo-pr-tests-${{ hashFiles('**/Cargo.toml') }} | |
| - name: ⚡ Cache nodejs | |
| uses: actions/cache@v3 | |
| with: | |
| path: | | |
| ~/pilcom/node_modules | |
| key: ${{ runner.os }}-pilcom-node-modules | |
| - name: Install Rust toolchain 1.72 (with clippy and rustfmt) | |
| run: rustup toolchain install 1.72-x86_64-unknown-linux-gnu && rustup component add clippy --toolchain 1.72-x86_64-unknown-linux-gnu && rustup component add rustfmt --toolchain 1.72-x86_64-unknown-linux-gnu | |
| - name: Install nightly | |
| run: rustup toolchain install nightly-2023-01-03-x86_64-unknown-linux-gnu | |
| - name: Install riscv target | |
| 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 | |
| run: git clone https://github.com/0xPolygonHermez/pilcom.git && cd pilcom && npm install | |
| - name: Build | |
| run: cargo build --all --all-features --profile pr-tests | |
| - name: Run default tests | |
| run: PILCOM=$(pwd)/pilcom/ cargo test --all --all-features --profile pr-tests --verbose | |
| - 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 |