fix: do not solve dcp6 (from gp6), MOSEK error only in CI

verified-optimization · Feb 22, 2024 · 54c5eff · 54c5eff
1 parent 852ddf6
commit 54c5eff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CvxLean/Test/PreDCP/DGP.lean b/CvxLean/Test/PreDCP/DGP.lean
@@ -182,7 +182,7 @@ time_cmd reduction red6/dcp6 : gp6 := by
 --     h6 : rexp (u * 2 - v * (1 / 2)) + 3 * rexp (v * (1 / 2) - w) ≤ 5
 --     h7 : u + v = 2 * w
 
-solve dcp6
+--solve dcp6
 
 end GP6