Trigger deploy by TLA+ CI too

utensil · Oct 7, 2024 · 5199787 · 5199787
1 parent bc18844
commit 5199787
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -4,7 +4,7 @@ name: Deploy Gitub Pages
 
 on:
   workflow_run:
-    workflows: ["Aya CI", "Lean 4 CI"]
+    workflows: ["Aya CI", "Lean 4 CI", "TLA+ CI"]
     types:
       - completed
 

diff --git a/tla/justfile b/tla/justfile
@@ -31,8 +31,10 @@ prep-tla:
     cd {{tlaprefix}}
     if [ ! -f tla2tools.jar ]; then
         curl -L -o tla2tools.jar https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/tla2tools.jar
+        echo "✅TLA+ installed"
+    else
+        echo "✅TLA+ already installed"
     fi
-    echo "✅TLA+ installed"
     # wget https://github.com/tlaplus/tlaplus/releases/download/v1.8.0/TLAToolbox-1.8.0-macosx.cocoa.x86_64.zip
     # unzip TLAToolbox-1.8.0-macosx.cocoa.x86_64.zip
     # mv TLAToolbox.app /Applications