From 2e637d56ee59430e2bae07b44c04591de55b069d Mon Sep 17 00:00:00 2001 From: retropikzel Date: Thu, 15 May 2025 21:12:08 +0300 Subject: [PATCH] Remaking the Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index c693b50..3d0777b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -10,7 +10,7 @@ pipeline { stage('Chibi primitives') { agent { dockerfile { - filename 'dockerfiles/test' + filename 'Dockerfile.test' additionalBuildArgs '--build-arg COMPILE_R7RS=chibi' } }