Willem/multiproof experiments #65
Workflow file for this run
This file contains hidden or 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: main | |
| on: | |
| push: | |
| branches: [ main ] | |
| pull_request: | |
| # Allows you to run this workflow manually from the Actions tab | |
| workflow_dispatch: | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| RUST_BACKTRACE: "1" | |
| RISC0_MONOREPO_REF: "release-1.2" | |
| jobs: | |
| test: | |
| runs-on: ubuntu-latest | |
| steps: | |
| # This is a workaround from: https://github.com/actions/checkout/issues/590#issuecomment-970586842 | |
| - name: checkout dummy commit (submodule bug workaround) | |
| run: "git checkout -f $(git -c user.name=x -c user.email=x@x commit-tree $(git hash-object -t tree /dev/null) < /dev/null) || :" | |
| - name: clone repository | |
| uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Install rust | |
| uses: risc0/risc0/.github/actions/rustup@main | |
| - name: Install Foundry | |
| uses: risc0/foundry-toolchain@2fe7e70b520f62368a0e3c464f997df07ede420f | |
| - name: install cargo risczero | |
| uses: ./.github/actions/bininstall-risc0 | |
| with: | |
| risczero-version: "2.0.0" | |
| toolchain-version: "1.85.0" | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| - name: build rust membership guest | |
| working-directory: guests/membership | |
| run: cargo build | |
| - name: build rust balance_and_exits guest | |
| working-directory: guests/balance_and_exits | |
| run: cargo build | |
| - name: build solidity contracts | |
| working-directory: contracts | |
| run: | | |
| forge soldeer install | |
| forge build | |
| - name: run tests | |
| env: | |
| RISC0_DEV_MODE: true | |
| run: cargo test --features skip-verify | |
| - name: run foundry tests in dev mode | |
| working-directory: contracts | |
| env: | |
| RISC0_DEV_MODE: true | |
| run: forge test -vvv | |
| lint: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: checkout code | |
| uses: actions/checkout@v3 | |
| with: | |
| submodules: recursive | |
| - name: install rust | |
| uses: risc0/risc0/.github/actions/rustup@main | |
| - name: Install Foundry | |
| uses: risc0/foundry-toolchain@2fe7e70b520f62368a0e3c464f997df07ede420f | |
| - name: lint rust code | |
| run: cargo fmt --all --check | |
| - name: lint membership guest rust code | |
| working-directory: guests/membership/guest | |
| run: cargo fmt --all --check | |
| - name: lint balance_and_exits guest rust code | |
| working-directory: guests/balance_and_exits/guest | |
| run: cargo fmt --all --check | |
| - name: check solidity code formatting | |
| run: forge fmt --check |