diff --git a/Jenkinsfile b/Jenkinsfile
deleted file mode 100644
index fa0fbc2..0000000
--- a/Jenkinsfile
+++ /dev/null
@@ -1,11 +0,0 @@
-pipeline {
-    agent any
-
-    stages {
-        stage('Build') {
-            steps {
-                sh 'stack build'
-            }
-        }
-    }
-}