From 1dc7c37d3cf1ab664fb50071954094c2e643218e Mon Sep 17 00:00:00 2001
From: retropikzel <retropikzel@iki.fi>
Date: Thu, 26 Sep 2024 19:04:17 +0300
Subject: [PATCH] Making the build work

---
 Jenkinsfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index d9bdd8f..ca0655d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,6 @@ pipeline {
         dockerfile {
             filename 'Dockerfile.jenkins'
             dir '.'
-            label 'r7rs-pffi-jenkins'
             args '--privileged'
         }
     }