detect if running in CI and print more info if so

sumiya11 · Apr 1, 2024 · 8f0f985 · 8f0f985
1 parent 450f4ac
commit 8f0f985
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/test/runtests.jl b/test/runtests.jl
@@ -1,5 +1,6 @@
 using Test
 using TestSetExtensions
+using InteractiveUtils
 
 using AbstractAlgebra
 using Random
@@ -12,6 +13,17 @@ using Groebner
 Groebner.invariants_enabled() = true
 Groebner.logging_enabled() = true
 
+function is_github_ci()
+ return parse(Bool, get(ENV, "GITHUB_ACTIONS", "false"))
+end
+
+if is_github_ci()
+ @info "Running in a Github CI job. Printing specs!"
+ versioninfo(verbose=true)
+else
+ versioninfo()
+end
+
 # Taken from JuMP/test/solvers.jl
 function try_import(name::Symbol)
  try