Merge remote-tracking branch 'refs/remotes/origin/main'

svenvc · svenvc · commit 84166aed9388 · 2023-12-15T20:10:17.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -0,0 +1,14 @@
+pipeline {
+    agent any
+    stages {
+        stage('Build gtoolkit') {
+            when { expression {
+                    env.BRANCH_NAME.toString().equals('main') && (env.TAG_NAME == null)
+                }
+            }
+            steps {
+                build(job: '../gtoolkit/main', wait: false)
+            }
+        }
+    }
+}
