Update build.jl

jump-dev · Feb 29, 2024 · 73d1a19 · 73d1a19
1 parent 90e7f9b
commit 73d1a19
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/build.jl b/deps/build.jl
@@ -51,7 +51,7 @@ function try_ci_installation()
     return
 end
 
-if get(ENV, "SECRET_KNITRO_URL", "") != ""
+if get(ENV, "SECRET_KNITRO_TAR_BZ2", "") != ""
     try_ci_installation()
 else
     try_local_installation()