diff --git a/.github/workflows/cd.yml b/.github/workflows/cd.yml
index 35bf2a1..86f6e79 100644
--- a/.github/workflows/cd.yml
+++ b/.github/workflows/cd.yml
@@ -27,6 +27,9 @@ jobs:
           node-version: '20'
           cache: 'npm'
 
+      - name: Download latest TLC JAR
+        run: curl -fSL -o public/tlaplus-web-cheerpj.jar https://github.com/FedericoPonzi/tlaplus-web/releases/latest/download/tlaplus-web-cheerpj.jar
+
       - name: Install dependencies
         run: npm ci
 
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 40b45c3..2b3c11a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -29,6 +29,9 @@ jobs:
           node-version: '20'
           cache: 'npm'
 
+      - name: Download latest TLC JAR
+        run: curl -fSL -o public/tlaplus-web-cheerpj.jar https://github.com/FedericoPonzi/tlaplus-web/releases/latest/download/tlaplus-web-cheerpj.jar
+
       - name: Install dependencies
         run: npm ci
 
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index f3e96ff..128a963 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -38,6 +38,9 @@ jobs:
         with:
           enablement: true
 
+      - name: Download latest TLC JAR
+        run: curl -fSL -o public/tlaplus-web-cheerpj.jar https://github.com/FedericoPonzi/tlaplus-web/releases/latest/download/tlaplus-web-cheerpj.jar
+
       - name: Install dependencies
         run: npm ci
 
diff --git a/public/tlaplus-web-cheerpj.jar b/public/tlaplus-web-cheerpj.jar
index 7a0e533..d7ef8c5 100644
Binary files a/public/tlaplus-web-cheerpj.jar and b/public/tlaplus-web-cheerpj.jar differ