Add basic Jenkinsfile

ohnxmath · Jul 13, 2017 · ddad089 · ddad089
1 parent 58ef965
commit ddad089
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -0,0 +1,11 @@
+pipeline {
+  agent any
+  stages {
+    stage('Build') {
+      steps {
+        sh '''make repl
+'''
+      }
+    }
+  }
+}