ci: install circuits for doc-snippets check

This commit is contained in:
andrussal 2025-12-16 07:36:17 +01:00
parent 044c4c04ec
commit 2a65cd901e

View File

@ -117,6 +117,10 @@ jobs:
: "${VERSION:?Missing VERSION}" : "${VERSION:?Missing VERSION}"
: "${NOMOS_NODE_REV:?Missing NOMOS_NODE_REV}" : "${NOMOS_NODE_REV:?Missing NOMOS_NODE_REV}"
: "${NOMOS_BUNDLE_VERSION:?Missing NOMOS_BUNDLE_VERSION}" : "${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 - uses: dtolnay/rust-toolchain@master
with: with:
toolchain: nightly-2025-09-14 toolchain: nightly-2025-09-14