Update

jump-dev · Jan 19, 2025 · 0379dca · 0379dca
1 parent 7d721b0
commit 0379dca
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/docs/make.jl b/docs/make.jl
@@ -39,6 +39,7 @@ const _HAS_GUROBI = try
 catch
     false
 end
+@show _HAS_GUROBI
 
 const _GUROBI_EXCLUDES = String[]
 if !_HAS_GUROBI