Merge pull request #6 from tlaplus/pull-release

FedericoPonzi · web-flow · commit 9e96ed6cf87f · 2026-03-08T20:07:34.000Z
Pull latest release on build
diff --git 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
@@ -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
@@ -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
