no jenkins for now

2022-09-30 18:40:24 -07:00
parent cc5e592053
commit e16d917f39
1 changed files with 0 additions and 11 deletions
@@ -1,11 +0,0 @@
-pipeline {
-    agent any
-
-    stages {
-        stage('Build') {
-            steps {
-                sh 'stack build'
-            }
-        }
-    }
-}