From aeec0e275ae6507d6202dc3b3762bc522f32c527 Mon Sep 17 00:00:00 2001 From: Roman Date: Thu, 25 Jun 2026 12:33:43 +0800 Subject: [PATCH] chore: remove redundant circuits installation --- .github/workflows/corpus-update.yml | 8 -------- .github/workflows/fuzz-afl.yml | 15 --------------- .github/workflows/fuzz.yml | 17 ----------------- .github/workflows/lez-compat.yml | 8 +++----- .github/workflows/lint.yml | 5 ----- .github/workflows/mutants.yml | 10 ---------- 6 files changed, 3 insertions(+), 60 deletions(-) diff --git a/.github/workflows/corpus-update.yml b/.github/workflows/corpus-update.yml index f2d9b8a1..708bcd40 100644 --- a/.github/workflows/corpus-update.yml +++ b/.github/workflows/corpus-update.yml @@ -80,10 +80,6 @@ jobs: steps: - uses: actions/checkout@v4 - uses: ./.github/actions/checkout-lez - - name: Install logos-blockchain-circuits - uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - uses: ./.github/actions/setup-libfuzzer - name: Build fuzz target @@ -134,10 +130,6 @@ jobs: steps: - uses: actions/checkout@v4 - uses: ./.github/actions/checkout-lez - - name: Install logos-blockchain-circuits - uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - uses: ./.github/actions/setup-afl - name: Build AFL++ target diff --git a/.github/workflows/fuzz-afl.yml b/.github/workflows/fuzz-afl.yml index d9188052..ce019cc3 100644 --- a/.github/workflows/fuzz-afl.yml +++ b/.github/workflows/fuzz-afl.yml @@ -75,11 +75,6 @@ jobs: - name: Checkout logos-execution-zone uses: ./.github/actions/checkout-lez - - name: Install logos-blockchain-circuits - uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - - name: Set up AFL++ toolchain uses: ./.github/actions/setup-afl @@ -270,11 +265,6 @@ jobs: - name: Checkout logos-execution-zone uses: ./.github/actions/checkout-lez - - name: Install logos-blockchain-circuits - uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - - name: Install Rust nightly + llvm-tools-preview uses: dtolnay/rust-toolchain@nightly with: @@ -376,11 +366,6 @@ jobs: - name: Checkout logos-execution-zone uses: ./.github/actions/checkout-lez - - name: Install logos-blockchain-circuits - uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - - name: Install Rust nightly + llvm-tools-preview uses: dtolnay/rust-toolchain@nightly with: diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml index 7a1046b0..94e8cf11 100644 --- a/.github/workflows/fuzz.yml +++ b/.github/workflows/fuzz.yml @@ -64,11 +64,6 @@ jobs: target key: fuzz-${{ runner.os }}-${{ hashFiles('**/Cargo.lock') }} - - name: Install logos-blockchain-circuits - uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - - uses: ./.github/actions/setup-libfuzzer - name: Build fuzz target @@ -236,10 +231,6 @@ jobs: - uses: actions/checkout@v4 - name: Checkout logos-execution-zone uses: ./.github/actions/checkout-lez - - name: Install logos-blockchain-circuits - uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - uses: ./.github/actions/setup-libfuzzer - name: Reproduce corpus run: | @@ -256,10 +247,6 @@ jobs: - name: Checkout logos-execution-zone uses: ./.github/actions/checkout-lez - uses: dtolnay/rust-toolchain@stable - - name: Install logos-blockchain-circuits - uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - run: cargo test -p fuzz_props --release - name: Run tests which require RISC0_DEV_MODE off. run: env -u RISC0_DEV_MODE cargo test -p fuzz_props --release synthesized_proof_is_rejected_without_dev_mode @@ -273,10 +260,6 @@ jobs: - uses: actions/checkout@v4 - name: Checkout logos-execution-zone uses: ./.github/actions/checkout-lez - - name: Install logos-blockchain-circuits - uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - uses: ./.github/actions/setup-libfuzzer - name: Measure throughput (30 s per target) run: | diff --git a/.github/workflows/lez-compat.yml b/.github/workflows/lez-compat.yml index f5265833..873ce95e 100644 --- a/.github/workflows/lez-compat.yml +++ b/.github/workflows/lez-compat.yml @@ -8,6 +8,9 @@ on: schedule: - cron: "0 4 * * *" workflow_dispatch: + push: + branches: + - chore-sync-with-lez env: RISC0_DEV_MODE: "1" @@ -39,11 +42,6 @@ jobs: target key: lez-compat-${{ runner.os }}-${{ hashFiles('**/Cargo.lock') }} - - name: Install logos-blockchain-circuits - uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - - name: Build shared fuzz harness against upstream main run: cargo build -p fuzz_props --release diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 9be35000..8ea7f608 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -53,11 +53,6 @@ jobs: - name: Checkout logos-execution-zone uses: ./.github/actions/checkout-lez - - name: Install logos-blockchain-circuits - uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - - name: Install nightly toolchain with clippy uses: dtolnay/rust-toolchain@nightly with: diff --git a/.github/workflows/mutants.yml b/.github/workflows/mutants.yml index 8ac9f7ef..829503a3 100644 --- a/.github/workflows/mutants.yml +++ b/.github/workflows/mutants.yml @@ -36,11 +36,6 @@ jobs: - name: Install stable Rust toolchain uses: dtolnay/rust-toolchain@stable - - name: Install logos-blockchain-circuits - uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - - name: Cache cargo registry uses: actions/cache@v4 with: @@ -127,11 +122,6 @@ jobs: with: components: llvm-tools-preview - - name: Install logos-blockchain-circuits - uses: ./logos-execution-zone/.github/actions/install-logos-blockchain-circuits - with: - github-token: ${{ secrets.GITHUB_TOKEN }} - - name: Cache cargo registry uses: actions/cache@v4 with: