diff --git a/Jenkinsfile b/Jenkinsfile deleted file mode 100644 index 33d3fc1..0000000 --- a/Jenkinsfile +++ /dev/null @@ -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']]) - } - } - } -}