From dce2e1ee60b33075e810daac345b0e78f406e280 Mon Sep 17 00:00:00 2001
From: anbu <git@anbu.work>
Date: Mon, 24 Jul 2023 21:28:56 +0100
Subject: [PATCH] Adding Jenkinsfile

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 8d6def604..10678f113 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,4 +1,7 @@
 node {
+    stage('checkout') {
+      checkout scm
+    }
     stage('compile') {
          sh '''#!/bin/bash -x
                  source "$HOME/.sdkman/bin/sdkman-init.sh"