feat(l1): ethrex_replay add tooling for periodic replay runs
#7782
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: L2 Prover | |
| on: | |
| push: | |
| branches: ["main"] | |
| pull_request: | |
| branches: ["**"] | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} | |
| cancel-in-progress: true | |
| jobs: | |
| lint_zk: | |
| name: Lint ${{ matrix.backend }} backend | |
| runs-on: ubuntu-latest | |
| strategy: | |
| matrix: | |
| backend: ["sp1", "risc0"] | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| - name: Add Rust Cache | |
| uses: Swatinem/rust-cache@v2 | |
| - name: RISC-V Risc0 toolchain install | |
| if: matrix.backend == 'risc0' | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| # should be able to specify a version for `rzup install rust` (toolchain version) | |
| # but it throws a "error decoding response body" in that case | |
| run: | | |
| curl -L https://risczero.com/install | bash | |
| ~/.risc0/bin/rzup install cargo-risczero 2.3.1 | |
| ~/.risc0/bin/rzup install rust | |
| - name: RISC-V SP1 toolchain install | |
| if: matrix.backend == 'sp1' | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| run: | | |
| curl -L https://sp1.succinct.xyz | bash | |
| ~/.sp1/bin/sp1up --version 5.0.8 | |
| - name: Check ${{ matrix.backend }} backend | |
| run: | | |
| cargo check -r -p ethrex-prover -F ${{ matrix.backend }} | |
| cargo check -r -p ethrex-replay -F ${{ matrix.backend }} | |
| - name: Clippy ${{ matrix.backend }} backend | |
| run: | | |
| cargo clippy -r -p ethrex-prover --all-targets -F ${{ matrix.backend }} | |
| - name: Check ${{ matrix.backend }} Cargo.lock modified but not committed | |
| run: | | |
| git diff --exit-code -- crates/l2/prover/zkvm/interface/${{ matrix.backend }}/Cargo.lock | |
| lint_exec: | |
| name: Lint exec backend | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| - name: Add Rust Cache | |
| uses: Swatinem/rust-cache@v2 | |
| - name: Check exec | |
| run: | | |
| cargo check -p ethrex-prover | |
| - name: Clippy exec | |
| run: | | |
| cargo clippy -p ethrex-prover --all-targets | |
| lint_tdx: | |
| name: Lint tdx backend | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout sources | |
| uses: actions/checkout@v4 | |
| - name: Add Rust Cache | |
| uses: Swatinem/rust-cache@v2 | |
| - name: Check tdx | |
| run: | | |
| cd crates/l2/tee/quote-gen | |
| cargo check | |
| - name: Clippy tdx | |
| run: | | |
| cd crates/l2/tee/quote-gen | |
| cargo clippy --all-targets | |
| # The purpose of this job is to add it as a required check in GitHub so that we don't have to add every individual job as a required check | |
| all-tests: | |
| # "Lint" is a required check, don't change the name | |
| name: Lint | |
| runs-on: ubuntu-latest | |
| needs: [lint_exec, lint_tdx, lint_zk] | |
| # Make sure this job runs even if the previous jobs failed or were skipped | |
| if: ${{ always() && needs.lint_exec.result != 'skipped' && needs.lint_tdx.result != 'skipped' && needs.lint_zk.result != 'skipped' }} | |
| steps: | |
| - name: Check if any job failed | |
| run: | | |
| if [ "${{ needs.lint_exec.result }}" != "success" ]; then | |
| echo "Job Lint exec Check failed" | |
| exit 1 | |
| fi | |
| if [ "${{ needs.lint_tdx.result }}" != "success" ]; then | |
| echo "Job Lint TDX failed" | |
| exit 1 | |
| fi | |
| if [ "${{ needs.lint_zk.result }}" != "success" ]; then | |
| echo "Job Lint ZK failed" | |
| exit 1 | |
| fi |