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"