Retropikzel
/
compile-r7rs
1
0
Fork 0
Code Issues 8 Pull Requests Releases Activity

Adding docker build and push to Jenkins

This commit is contained in:
retropikzel 2025-09-14 09:12:42 +03:00
parent 88a2989b97
commit f0c3fb9b4d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Jenkinsfile vendored
View File

@ -16,8 +16,8 @@ pipeline {
stages { stages {
stage('Test R6RS implementations') { stage('Test R6RS implementations') {
agent { agent {
label 'docker-x86_64'
dockerfile { dockerfile {
label 'docker-x86_64'
filename 'Dockerfile.jenkins' filename 'Dockerfile.jenkins'
args '--user=root -v /var/run/docker.sock:/var/run/docker.sock' args '--user=root -v /var/run/docker.sock:/var/run/docker.sock'
} }
@ -41,8 +41,8 @@ pipeline {
stage('Test R7RS implementations') { stage('Test R7RS implementations') {
agent { agent {
label 'docker-x86_64'
dockerfile { dockerfile {
label 'docker-x86_64'
filename 'Dockerfile.jenkins' filename 'Dockerfile.jenkins'
args '--user=root -v /var/run/docker.sock:/var/run/docker.sock' args '--user=root -v /var/run/docker.sock:/var/run/docker.sock'
} }