diff --git a/Jenkinsfile b/Jenkinsfile index aad543ddce..b6ae0190e5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -15,7 +15,7 @@ def clone (repo_url, git_ref = "master") { def pipeline node { dir('dlang/ci') { - cleanCheckout 'https://github.com/Dicebot/dlangci.git', 'master' + clone 'https://github.com/Dicebot/dlangci.git', 'master' } pipeline = load 'dlang/ci/pipeline.groovy' }