chore: remove `Jenkinsfile` (#23)

2 weeks ago · 2090677b2d
parent 78c117f300
commit 2090677b2d
1 changed files with 0 additions and 21 deletions
--- a/21
+++ b/21
@ -1,21 +0,0 @@
-node {
-    checkout scm
-}
-
-pipeline {
-    agent any
-
-    stages {
-        stage('Build') {
-            steps {
-                sh "make build-test"
-            }
-        }
-        stage('Test') {
-            steps {
-                sh "make test"
-                recordCoverage(tools: [[parser: 'COBERTURA', pattern: 'docker/test/coverage.xml']])
-            }
-        }
-    }
-}