From 198e497b3dee56a39487551a3bde996196719a76 Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Fri, 18 Apr 2025 11:02:03 +0300
Subject: [PATCH] Making the build work

---
 Jenkinsfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index f06b422..ea13652 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,6 +4,11 @@ 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 {