ci: update circuits setup script

This commit is contained in:
andrussal 2026-01-22 11:25:13 +01:00
parent 6310a5cbe9
commit 5a3907ec0b
2 changed files with 6 additions and 6 deletions

View File

@ -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: |

View File

@ -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: