Use GITHUB_REPOSITORY

jump-dev · Mar 21, 2024 · 2d4e70a · 2d4e70a
1 parent 6c2abff
commit 2d4e70a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/deps/build.jl b/deps/build.jl
@@ -45,7 +45,9 @@ if isfile(DEPS_FILE)
     rm(DEPS_FILE)
 end
 
-if haskey(ENV, "XPRESS_JL_SKIP_LIB_CHECK") || get(ENV, "CI", "") == "true"
+if haskey(ENV, "XPRESS_JL_SKIP_LIB_CHECK")
+    # Skip!
+elseif get(ENV, "GITHUB_REPOSITORY", "") == "jump-dev/Xpress.jl"
     # Skip!
 elseif get(ENV, "JULIA_REGISTRYCI_AUTOMERGE", "false") == "true"
     write_deps_file("julia_registryci_automerge")

diff --git a/test/runtests.jl b/test/runtests.jl
@@ -5,7 +5,7 @@
 
 import Pkg
 
-if get(ENV, "CI", "false") == "true"
+if get(ENV, "GITHUB_REPOSITORY", "") == "jump-dev/Xpress.jl"
     Pkg.pkg"add https://github.com/jump-dev/Xpress_jll.jl"
     import Xpress_jll
     ENV["XPRESS_JL_LIBRARY"] = Xpress_jll.libxprs