Merge pull request #234 from xmos/henkmuller-patch-1

Fix xmosdoc xchat problem
xmos · Oct 28, 2024 · 6184e1a · 6184e1a
2 parents 428daca + 2c0e905
commit 6184e1a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -7,7 +7,7 @@ pipeline {
         REPO = 'lib_mic_array'
         PIP_VERSION = "24.0"
         PYTHON_VERSION = "3.11"
-        XMOSDOC_VERSION = "v6.0.0"          
+        XMOSDOC_VERSION = "v6.1.2"          
     }
     options {
         skipDefaultCheckout()