Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions .github/workflows/pr-main_l1.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,6 @@ on:
merge_group:
pull_request:
branches: ["**"]
paths-ignore:
- "crates/l2/**" # Behind a feature flag not used in this workflow
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

you will run a lot of L1 stuff on L2-only changes


concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
Expand Down
43 changes: 0 additions & 43 deletions .github/workflows/pr-main_l2.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -19,49 +19,6 @@ env:
DOCKER_ETHREX_WORKDIR: /usr/local/bin

jobs:
lint:
# "Lint" is a required check, don't change the name
name: Lint
runs-on: ubuntu-latest
steps:
- name: Free Disk Space (Ubuntu)
uses: jlumbroso/[email protected]
with:
tool-cache: false
large-packages: false
- name: Checkout sources
uses: actions/checkout@v4
- name: Setup Rust Environment
uses: ./.github/actions/setup-rust
with:
components: rustfmt, clippy

- name: Install RISC0
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
curl -L https://risczero.com/install | bash
~/.risc0/bin/rzup install cargo-risczero 3.0.3
~/.risc0/bin/rzup install risc0-groth16
~/.risc0/bin/rzup install rust

- name: Create placeholder SP1 ELF
run: |
mkdir -p crates/l2/prover/src/guest_program/src/sp1/out
touch crates/l2/prover/src/guest_program/src/sp1/out/riscv32im-succinct-zkvm-elf

- name: Run cargo check
run: cargo check --workspace

- name: Run cargo clippy
run: |
cargo clippy --workspace -- -D warnings
make lint

- name: Run cargo fmt
run: |
cargo fmt --all -- --check

build-docker:
name: Build docker image
runs-on: ubuntu-latest
Expand Down
Loading