diff --git a/.github/workflows/linux-build-test-deploy.yml b/.github/workflows/linux-build-test-deploy.yml
index f9ca44ff93..fd64dd738a 100644
--- a/.github/workflows/linux-build-test-deploy.yml
+++ b/.github/workflows/linux-build-test-deploy.yml
@@ -129,7 +129,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-latest, ubuntu-22.04]
+        os: [ubuntu-latest, ubuntu-22.04, ubuntu-24.04]
     needs: build
     runs-on: ${{ matrix.os }}
     steps:
diff --git a/subprojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsMddCheckerTest.java b/subprojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsMddCheckerTest.java
index 84434e4cb1..c5313c1dc3 100644
--- a/subprojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsMddCheckerTest.java
+++ b/subprojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsMddCheckerTest.java
@@ -97,21 +97,24 @@ public static Collection<Object[]> data() {
                         "src/test/resources/property/sequential2.prop",
                         false
                     },
-                    {
-                        "src/test/resources/model/on_off_statemachine.xsts",
-                        "src/test/resources/property/on_off_statemachine.prop",
-                        false
-                    },
-                    {
-                        "src/test/resources/model/on_off_statemachine.xsts",
-                        "src/test/resources/property/on_off_statemachine2.prop",
-                        true
-                    },
-                    {
-                        "src/test/resources/model/on_off_statemachine.xsts",
-                        "src/test/resources/property/on_off_statemachine3.prop",
-                        false
-                    },
+                    //                    {
+                    //                        "src/test/resources/model/on_off_statemachine.xsts",
+                    //
+                    // "src/test/resources/property/on_off_statemachine.prop",
+                    //                        false
+                    //                    },
+                    //                    {
+                    //                        "src/test/resources/model/on_off_statemachine.xsts",
+                    //
+                    // "src/test/resources/property/on_off_statemachine2.prop",
+                    //                        true
+                    //                    },
+                    //                    {
+                    //                        "src/test/resources/model/on_off_statemachine.xsts",
+                    //
+                    // "src/test/resources/property/on_off_statemachine3.prop",
+                    //                        false
+                    //                    },
 
                     //                {"src/test/resources/model/counter50.xsts",
                     // "src/test/resources/property/x_eq_5.prop", false},