From 2a65cd901eeed2b3866137811b7eb7f41daeb30c Mon Sep 17 00:00:00 2001 From: andrussal Date: Tue, 16 Dec 2025 07:36:17 +0100 Subject: [PATCH] ci: install circuits for doc-snippets check --- .github/workflows/lint.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 2914dab..ae5b115 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -117,6 +117,10 @@ jobs: : "${VERSION:?Missing VERSION}" : "${NOMOS_NODE_REV:?Missing NOMOS_NODE_REV}" : "${NOMOS_BUNDLE_VERSION:?Missing NOMOS_BUNDLE_VERSION}" + - name: Install nomos circuits + run: | + ./scripts/setup-nomos-circuits.sh "${VERSION}" "$HOME/.nomos-circuits" + echo "NOMOS_CIRCUITS=$HOME/.nomos-circuits" >> "$GITHUB_ENV" - uses: dtolnay/rust-toolchain@master with: toolchain: nightly-2025-09-14