From 5a3907ec0bc891515520cdc067f9374bb7b0087d Mon Sep 17 00:00:00 2001 From: andrussal Date: Thu, 22 Jan 2026 11:25:13 +0100 Subject: [PATCH] ci: update circuits setup script --- .github/workflows/build-binaries.yml | 2 +- .github/workflows/lint.yml | 10 +++++----- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/build-binaries.yml b/.github/workflows/build-binaries.yml index 641d170..ce17254 100644 --- a/.github/workflows/build-binaries.yml +++ b/.github/workflows/build-binaries.yml @@ -45,7 +45,7 @@ jobs: sudo apt-get install -y clang llvm-dev libclang-dev pkg-config cmake libssl-dev rsync libgmp10 libgmp-dev libgomp1 nasm - name: Install nomos circuits run: | - ./scripts/setup/setup-nomos-circuits.sh "${VERSION}" "$NOMOS_CIRCUITS" + ./scripts/setup/setup-logos-blockchain-circuits.sh "${VERSION}" "$NOMOS_CIRCUITS" echo "NOMOS_CIRCUITS=$NOMOS_CIRCUITS" >> "$GITHUB_ENV" - name: Add top-level KZG params file run: | diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml index 6885a18..0713647 100644 --- a/.github/workflows/lint.yml +++ b/.github/workflows/lint.yml @@ -37,7 +37,7 @@ jobs: : "${NOMOS_BUNDLE_VERSION:?Missing NOMOS_BUNDLE_VERSION}" - name: Install nomos circuits run: | - ./scripts/setup/setup-nomos-circuits.sh "${VERSION}" "$HOME/.nomos-circuits" + ./scripts/setup/setup-logos-blockchain-circuits.sh "${VERSION}" "$HOME/.nomos-circuits" echo "NOMOS_CIRCUITS=$HOME/.nomos-circuits" >> "$GITHUB_ENV" - uses: dtolnay/rust-toolchain@master with: @@ -78,7 +78,7 @@ jobs: : "${NOMOS_BUNDLE_VERSION:?Missing NOMOS_BUNDLE_VERSION}" - name: Install nomos circuits run: | - ./scripts/setup/setup-nomos-circuits.sh "${VERSION}" "$HOME/.nomos-circuits" + ./scripts/setup/setup-logos-blockchain-circuits.sh "${VERSION}" "$HOME/.nomos-circuits" echo "NOMOS_CIRCUITS=$HOME/.nomos-circuits" >> "$GITHUB_ENV" - uses: dtolnay/rust-toolchain@master with: @@ -119,7 +119,7 @@ jobs: : "${NOMOS_BUNDLE_VERSION:?Missing NOMOS_BUNDLE_VERSION}" - name: Install nomos circuits run: | - ./scripts/setup/setup-nomos-circuits.sh "${VERSION}" "$HOME/.nomos-circuits" + ./scripts/setup/setup-logos-blockchain-circuits.sh "${VERSION}" "$HOME/.nomos-circuits" echo "NOMOS_CIRCUITS=$HOME/.nomos-circuits" >> "$GITHUB_ENV" - uses: dtolnay/rust-toolchain@master with: @@ -154,7 +154,7 @@ jobs: : "${NOMOS_BUNDLE_VERSION:?Missing NOMOS_BUNDLE_VERSION}" - name: Install nomos circuits run: | - ./scripts/setup/setup-nomos-circuits.sh "${VERSION}" "$HOME/.nomos-circuits" + ./scripts/setup/setup-logos-blockchain-circuits.sh "${VERSION}" "$HOME/.nomos-circuits" echo "NOMOS_CIRCUITS=$HOME/.nomos-circuits" >> "$GITHUB_ENV" - uses: dtolnay/rust-toolchain@master with: @@ -220,7 +220,7 @@ jobs: : "${NOMOS_BUNDLE_VERSION:?Missing NOMOS_BUNDLE_VERSION}" - name: Install nomos circuits run: | - ./scripts/setup/setup-nomos-circuits.sh "${VERSION}" "$HOME/.nomos-circuits" + ./scripts/setup/setup-logos-blockchain-circuits.sh "${VERSION}" "$HOME/.nomos-circuits" echo "NOMOS_CIRCUITS=$HOME/.nomos-circuits" >> "$GITHUB_ENV" - uses: dtolnay/rust-toolchain@master with: