From e16d917f393dfb84172902ef99c234496d8ceb73 Mon Sep 17 00:00:00 2001
From: Rostyslav Hnatyshyn <rostyslav.hnatyshyn@gmail.com>
Date: Fri, 30 Sep 2022 18:40:24 -0700
Subject: [PATCH] no jenkins for now

---
 Jenkinsfile | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 Jenkinsfile

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'
-            }
-        }
-    }
-}