Uploaded a new docker image

HansOlsson · Nov 30, 2022 · 02fefb5 · 02fefb5
1 parent 4b13a9b
commit 02fefb5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.CI/Jenkinsfile b/.CI/Jenkinsfile
@@ -18,7 +18,7 @@ pipeline {
   stage('build') {
     agent {
       docker {
-        image 'modelicaspec/latexml:20220405'
+        image 'modelicaspec/latexml:20221130'
         label 'linux'
         alwaysPull true
       }