diff --git a/Jenkinsfile b/Jenkinsfile index d8bf9a9..919da58 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -37,14 +37,10 @@ pipeline { stage("Init") { steps { - sh 'rm -rf srfi-test && git clone https://github.com/srfi-explorations/srfi-test.git' sh 'mkdir -p reports' sh 'touch reports/placeholder' stash name: 'reports', includes: 'reports/*' sh 'echo "