From b9b641ba5d6148fa7aa792e6eac7603e8dd00361 Mon Sep 17 00:00:00 2001
From: andrussal <salumets.andrus@gmail.com>
Date: Fri, 5 Dec 2025 04:28:25 +0100
Subject: [PATCH] Install fresh circuits in local smoke

---
 .github/workflows/lint.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 6298c38..d60b7ec 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -212,6 +212,18 @@ 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}")"