ci: Add initial Jenkinsfile (#8)

teamcors · Sep 27, 2023 · 240d56f · 240d56f
1 parent 97d019b
commit 240d56f
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/ci/hyojeongchoi/Jenkinsfile b/ci/hyojeongchoi/Jenkinsfile
@@ -0,0 +1,17 @@
+pipeline {
+    agent any
+
+    triggers {
+        githubPush()
+    }
+
+    stages {
+        stage('Push'){
+            steps {
+                echo 'Success to check push'
+            }
+        }
+    }
+
+
+}