From dfcf19cbb8e4e18dc122a0c1aa41312249e78533 Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Fri, 18 Apr 2025 12:09:08 +0300
Subject: [PATCH] Making the build work

---
 Jenkinsfile | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 1fd3ede..fba5b8a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,11 +5,6 @@ pipeline {
         buildDiscarder(logRotator(numToKeepStr: '10', artifactNumToKeepStr: '10'))
     }
     stages {
-        stage("Clean docker cache") {
-            steps {
-                sh 'docker system prune -a -f'
-            }
-        }
         stage("Build") {
             agent { dockerfile { filename 'Dockerfile'; args '--user=root'; additionalBuildArgs '--build-arg COMPILE_R7RS=sagittarius' } }
             steps {