Use docker.
adbrucker/authorarchive/master This commit looks good Ayrıntılar

Bu işleme şunda yer alıyor:
Achim D. Brucker 2019-06-22 19:41:26 +01:00
ebeveyn ce40e1027f
işleme 921fb2cbe3
1 değiştirilmiş dosya ile 1 ekleme ve 1 silme

2
.ci/Jenkinsfile sağlanmış
Dosyayı Görüntüle

@ -4,7 +4,7 @@ pipeline {
stages {
stage('Build PDFs') {
steps {
sh 'cd examples && (for i in *.tex; do pdflatex $i; pdflatex $i; pdflatex $i; done)'
sh 'docker run -v $PWD/:/authorarchive logicalhacking:debian4isabelle sh -c "cd /authorarchive/examples && (for i in *.tex; do pdflatex \\$i; pdflatex \\$i; pdflatex \\$i; done)"'
}
}
}