From 02fefb55b4dee6f03e3bcec32f3cb58c1713c405 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Sj=C3=B6lund?= <martin@sjoelund.se>
Date: Wed, 30 Nov 2022 10:25:20 +0100
Subject: [PATCH] Uploaded a new docker image

---
 .CI/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.CI/Jenkinsfile b/.CI/Jenkinsfile
index 04e3179a9..ff8cfe127 100644
--- 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
       }