remove outdated env.sh file

This commit is contained in:
Sergio Chouhy 2025-10-17 15:58:28 -03:00
parent 9e03507dd4
commit 217551f960
5 changed files with 2 additions and 8 deletions

View File

@ -1,5 +1,4 @@
set -e
curl -L https://risczero.com/install | bash
/Users/runner/.risc0/bin/rzup install
source env.sh
RUSTFLAGS="-D warnings" cargo build
RUSTFLAGS="-D warnings" cargo build

View File

@ -1,5 +1,4 @@
set -e
curl -L https://risczero.com/install | bash
/home/runner/.risc0/bin/rzup install
source env.sh
RUSTFLAGS="-D warnings" cargo build
RUSTFLAGS="-D warnings" cargo build

View File

@ -1,6 +1,5 @@
set -e
source env.sh
cargo install taplo-cli --locked
cargo fmt -- --check

View File

@ -2,7 +2,6 @@ set -e
curl -L https://risczero.com/install | bash
/home/runner/.risc0/bin/rzup install
source env.sh
RISC0_DEV_MODE=1 cargo test --release

2
env.sh
View File

@ -1,2 +0,0 @@
export NULLIFIER_SECRET_CONST="261d61d294ac4bdc24f91b6f490efa263757a4a95f65871cd4f16b2ea23c3b5d"
export VIEWING_SECRET_CONST="6117af750b30d7a296672ec3b3b25d3489beca3cfe5770fa39f275cec395d5ce"