Added Jenkins file

EvertBunschoten · Aug 21, 2024 · 5b8c65d · 5b8c65d
1 parent d5c3625
commit 5b8c65d
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -0,0 +1,10 @@
+pipeline {
+    agent {label "linux"}
+    stages{
+        stage('Hello') {
+            steps {
+                echo "Hi there"
+            }
+        }
+    }
+}