From 660522bbe4a5b9e22026860681c3c3adeb21c10d Mon Sep 17 00:00:00 2001
From: Sasha Demin <demin@lix.polytechnique.fr>
Date: Sat, 4 May 2024 19:32:13 +0200
Subject: [PATCH] print machine info in CI

---
 src/StructuralIdentifiability.jl | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/StructuralIdentifiability.jl b/src/StructuralIdentifiability.jl
index 64be0f23..2c0589ad 100644
--- a/src/StructuralIdentifiability.jl
+++ b/src/StructuralIdentifiability.jl
@@ -76,6 +76,10 @@ include("known_ic.jl")
 include("input_macro.jl")
 
 function __init__()
+    # if run in Github CI
+    if parse(Bool, get(ENV, "GITHUB_ACTIONS", "false"))
+        versioninfo(verbose=true)
+    end
     _si_logger[] = @static if VERSION >= v"1.7.0"
         Logging.ConsoleLogger(Logging.Info, show_limited = false)
     else