Making the build work

2024-09-26 19:04:17 +03:00 · 2024-09-26 19:04:17 +03:00 · 1dc7c37d3c
parent 2230a64d8e
commit 1dc7c37d3c
1 changed files with 0 additions and 1 deletions
--- a/1
+++ b/1
@ -3,7 +3,6 @@ pipeline {
        dockerfile {
            filename 'Dockerfile.jenkins'
            dir '.'
-            label 'r7rs-pffi-jenkins'
            args '--privileged'
        }
    }