Adding docker build and push to Jenkins

2025-09-14 09:10:03 +03:00
parent 4e38511444
commit 88a2989b97
1 changed files with 2 additions and 0 deletions
@@ -16,6 +16,7 @@ pipeline {
    stages {
        stage('Test R6RS implementations') {
            agent {
+                label 'docker-x86_64'
                dockerfile {
                    filename 'Dockerfile.jenkins'
                    args '--user=root -v /var/run/docker.sock:/var/run/docker.sock'
@@ -40,6 +41,7 @@ pipeline {

        stage('Test R7RS implementations') {
            agent {
+                label 'docker-x86_64'
                dockerfile {
                    filename 'Dockerfile.jenkins'
                    args '--user=root -v /var/run/docker.sock:/var/run/docker.sock'