From 2090677b2d4f59d4447e4a028c2c1882b82b654c Mon Sep 17 00:00:00 2001
From: Christian Merten <christian@merten.dev>
Date: Sat, 29 Nov 2025 15:18:12 +0100
Subject: [PATCH] chore: remove `Jenkinsfile` (#23)

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

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