make CI faster for turan test

lamBOOO · lamBOOO · commit 280470141580 · 2024-10-14T12:01:47.000+02:00
diff --git a/examples/validation-turan/run.jl b/examples/validation-turan/run.jl
@@ -13,7 +13,12 @@ nlsolver_opts = (;
   linesearch = BackTracking(),
 )
 
-n_elems = 40
+n_elems = 100
+if haskey(ENV, "GITHUB_ACTIONS")
+  # Lower the value when in GitHub Actions environment
+  n_elems = 20  # New value for GitHub Actions
+end
+
 cases =
 [
   # turan

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,12 @@ nlsolver_opts = (;`
`13`	`13`	`linesearch = BackTracking(),`
`14`	`14`	`)`
`15`	`15`
`16`		`-n_elems = 40`
	`16`	`+n_elems = 100`
	`17`	`+if haskey(ENV, "GITHUB_ACTIONS")`
	`18`	`+ # Lower the value when in GitHub Actions environment`
	`19`	`+ n_elems = 20 # New value for GitHub Actions`
	`20`	`+end`
	`21`	`+`
`17`	`22`	`cases =`
`18`	`23`	`[`
`19`	`24`	`# turan`