From edee04c03b7c19d273125cbbb7d7cd7cf1d5cb7d Mon Sep 17 00:00:00 2001
From: sockmaster27 <61235930+sockmaster27@users.noreply.github.com>
Date: Mon, 4 Dec 2023 22:40:24 +0100
Subject: [PATCH] skip SPINS init

---
 .github/workflows/Tests.yml | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml
index a0cdbaa2..a8f494f6 100644
--- a/.github/workflows/Tests.yml
+++ b/.github/workflows/Tests.yml
@@ -30,7 +30,7 @@ jobs:
           #
           sudo apt install libpopt-dev -y
           sudo apt install zlib1g-dev -y
-          sudo apt install openjdk-11-jre -y
+          sudo apt install openjdk-11-jdk -y
           sudo apt install ant -y
       - name: Install Sylvan
         run: |
@@ -50,14 +50,9 @@ jobs:
           sudo apt install libxml2-dev -y
       - name: Configure LTSMin
         run: ./ltsminreconf
-      - name: Intialize SPINS
-        run: |
-          cd spins/src
-          ant
-          cd ../..
       - name: Run tests
         run: |
-          ./configure --disable-dependency-tracking --with-spins
+          ./configure --disable-dependency-tracking
           make
           make check