From e7c4f46500535463c882c63d9839ed589322c021 Mon Sep 17 00:00:00 2001 From: andrussal Date: Fri, 5 Dec 2025 04:52:50 +0100 Subject: [PATCH] Use bundled circuits in local smoke --- .github/workflows/lint.yml | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index d60b7ec..6298c38 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -212,18 +212,6 @@ jobs: echo "Circuits bundle missing in nomos-binaries tarball" >&2 exit 1 fi - - name: Install circuits bundle matching node - env: - NOMOS_CIRCUITS_PLATFORM: linux-x86_64 - NOMOS_CIRCUITS_REBUILD_RAPIDSNARK: "0" - RAPIDSNARK_FORCE_REBUILD: "0" - RAPIDSNARK_BUILD_GMP: "0" - RAPIDSNARK_USE_ASM: "OFF" - run: | - chmod +x scripts/setup-nomos-circuits.sh - CIRCUITS_DIR="${RUNNER_TEMP}/nomos-circuits" - scripts/setup-nomos-circuits.sh v0.3.1 "$CIRCUITS_DIR" - echo "NOMOS_CIRCUITS=${CIRCUITS_DIR}" >> "$GITHUB_ENV" - name: Download KZG params for DA (raw) run: | mkdir -p "$(dirname "${NOMOS_KZGRS_PARAMS_PATH}")"