remove unnecessary copy for stdlib in ci

zksecurity · Nov 7, 2024 · 4f4c05d · 4f4c05d
1 parent 3157dbf
commit 4f4c05d
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/snarkjs.sh b/.github/workflows/snarkjs.sh
@@ -9,10 +9,6 @@ fi
 DIR_PATH=$1
 CURVE=$2
 
-# Init stdlib in .noname/release/src/stdlib instead of downloading
-echo "Overriding stdlib in .noname/release/src/stdlib..."
-mkdir -p ~/.noname/release/src/stdlib/ && cp -r /app/noname/src/stdlib/* ~/.noname/release/src/stdlib/
-
 # Ensure the circuit directory exists and is initialized
 echo "Initializing a new Noname package..."
 noname new --path circuit_noname