Do not parse *all* specs because Apalache module is not there.

Signed-off-by: Markus Alexander Kuppe <[email protected]>
heidihoward · Sep 4, 2024 · 3f99960 · 3f99960
1 parent 1c1c3a0
commit 3f99960
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/.github/workflows/tla.yml b/.github/workflows/tla.yml
@@ -91,8 +91,6 @@ jobs:
           cd tla-bin
           ./download_or_update_tla.sh --nightly
           sudo ./install.sh
-      - name: Sany
-        run: sany *.tla
       - name: Random generation with TLC
         run: JAVA_OPTS="-Dtlc2.TLC.stopAfter=600 -XX:+UseParallelGC" tlc -workers auto -generate MCpbft.tla
 
@@ -106,7 +104,5 @@ jobs:
           cd tla-bin
           ./download_or_update_tla.sh --nightly
           sudo ./install.sh
-      - name: Sany
-        run: sany *.tla
       - name: Random simulation with TLC
         run: JAVA_OPTS="-Dtlc2.TLC.stopAfter=600 -XX:+UseParallelGC" tlc -workers auto -simulate MCpbft.tla