From abcdfc8b00607b1a81d96f179ab94a6468143c5d Mon Sep 17 00:00:00 2001
From: Philippe Zwietering <philippe.zwietering@proton.me>
Date: Sat, 5 Sep 2026 15:22:17 +0200
Subject: [PATCH] feat: Jenkinsfile

---
 Jenkinsfile | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
new file mode 100644
index 0000000..5885ef3
--- /dev/null
+++ b/Jenkinsfile
@@ -0,0 +1,13 @@
+pipeline {
+  agent any
+  stages {
+      stage('Check') {
+          sh 'cargo check'
+        }
+    }
+    post {
+        cleanup {
+            cleanWs()
+          }
+      }
+  }