From cbb4c15debeacbdb615ab8ce687f0735d1cfbf82 Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Sat, 5 Oct 2024 12:37:53 +0300
Subject: [PATCH] Making the jenkins build work

---
 templates/Jenkinsfile-top | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/templates/Jenkinsfile-top b/templates/Jenkinsfile-top
index e687afc..ec53f98 100644
--- a/templates/Jenkinsfile-top
+++ b/templates/Jenkinsfile-top
@@ -37,13 +37,9 @@ 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 "<h1>Test results</h1>" > reports/results.html'
-              sh '(cd srfi-test && make clean build)'
-              sh 'tree srfi-test'
-              stash name: 'tests', includes: 'srfi-test/*'
             }
         }