diff --git a/platform/Jenkinsfile b/platform/Jenkinsfile index 86e88e8..16bbb02 100644 --- a/platform/Jenkinsfile +++ b/platform/Jenkinsfile @@ -7,10 +7,25 @@ pipeline { } } + options { + skipDefaultCheckout() + } + stages { stage('Checkout') { steps { - echo '✅ Code checked out from gitea' + checkout([ + $class: 'GitSCM', + branches: scm.branches, + userRemoteConfigs: scm.userRemoteConfigs, + extensions: [[ + $class: 'CloneOption', + shallow: true, + depth: 1, + noTags: true, + timeout: 20 + ]] + ]) } }