fix threads in produce-binary CI

project-everest · Dec 20, 2024 · 41bb128 · 41bb128
1 parent a47be5e
commit 41bb128
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.docker/produce-binary.Dockerfile b/.docker/produce-binary.Dockerfile
@@ -23,7 +23,7 @@ RUN eval $(opam env) && .docker/build/install-deps.sh
 ARG CI_THREADS=24
 ARG CI_BRANCH=master
 
-RUN eval $(opam env) && OTHERFLAGS="--admit_smt_queries true" make -j $EVEREST_THREADS package-noversion
+RUN eval $(opam env) && OTHERFLAGS="--admit_smt_queries true" make -j $CI_THREADS package-noversion
 
 WORKDIR $HOME
 ENV EVERPARSE_HOME=$HOME/everparse