From f0c3fb9b4d8e381369b876dd6900130d4b5373e4 Mon Sep 17 00:00:00 2001 From: retropikzel Date: Sun, 14 Sep 2025 09:12:42 +0300 Subject: [PATCH] Adding docker build and push to Jenkins --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 94f0cc0..050be5a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -16,8 +16,8 @@ pipeline { stages { stage('Test R6RS implementations') { agent { - label 'docker-x86_64' dockerfile { + label 'docker-x86_64' filename 'Dockerfile.jenkins' args '--user=root -v /var/run/docker.sock:/var/run/docker.sock' } @@ -41,8 +41,8 @@ pipeline { stage('Test R7RS implementations') { agent { - label 'docker-x86_64' dockerfile { + label 'docker-x86_64' filename 'Dockerfile.jenkins' args '--user=root -v /var/run/docker.sock:/var/run/docker.sock' }