Update maven-test.yml (#1121)

* Update maven-test.yml

The runner version was bumped to 2.321 which rely on Ubuntu 24.4 instead of Ubuntu 22.04. 
And the default version Python is 3.12 instead of 3.10, which seems to make waf fails
* Update maven-test.yml (ibex has its own job)
* Update maven-test.yml (simplification)

Author: cprudhom

.github/workflows/maven-test.yml

@@ -6,13 +6,36 @@ name: Java CI with Maven
 on: [push, pull_request]
 
 jobs:
+  test-ibex:
+    runs-on: ubuntu-20.04
+    # The different steps
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: 'true'
+      - name: Set up JDK 11
+        uses: actions/setup-java@v3
+        with:
+          java-version: '11'
+          distribution: 'temurin'
+          cache: 'maven'
+        
+      # Install Ibex
+      - name: Install ibex
+        run: |
+          sh scripts/install-ibex.sh
+
+      # Regression tests
+      - name: Test Ibex
+        run: mvn --file pom.xml test -Pcoverage -DtestFailureIgnore=true -Dgroups=ibex
+  
   test-solver:
     runs-on: ubuntu-latest
     # Tests matrix
     strategy:
       #fail-fast: false
       matrix:
-        group: [ "1s", "10s", "checker", "ibex" ]
+        group: [ "1s", "10s", "checker" ]
 
     # The different steps
     steps:
@@ -26,14 +49,10 @@ jobs:
           distribution: 'temurin'
           cache: 'maven'
 
-      # Install Ibex
-      - name: Install Ibex
-        if: matrix.group == 'ibex'
-        run: sh scripts/install-ibex.sh
-
       # Regression tests
       - name: Test ${{ matrix.group }}
-        run: mvn -B --file pom.xml package -Pcoverage -DtestFailureIgnore=true -Dgroups=${{ matrix.group }}
+        run: mvn --file pom.xml test -Pcoverage -DtestFailureIgnore=true -Dgroups=${{ matrix.group }}
+        
   test-parser:
     needs: [ test-solver ]
     runs-on: ubuntu-latest
@@ -57,13 +76,7 @@ jobs:
 
       # Regression tests
       - name: Test ${{ matrix.group }}
-        run: mvn -B --file pom.xml package -Pcoverage -DtestFailureIgnore=true -Dgroups=${{ matrix.group }}
-
-      - name: 'Upload XCSP results'
-        if: matrix.group == 'xcsp'
-        uses: actions/upload-artifact@v3
-        with:
-          path: ${{ github.workspace }}/parsers/target/xcsp_results.csv
+        run: mvn --file pom.xml test -Pcoverage -DtestFailureIgnore=true -Dgroups=${{ matrix.group }}
 
   test-mzn:
     needs: [ test-solver ]
@@ -88,9 +101,4 @@ jobs:
 
       # Regression tests
       - name: Test ${{ matrix.group }}
-        run: mvn -B --file pom.xml package -Pcoverage -DtestFailureIgnore=true -Dgroups=${{ matrix.group }}
-
-      - name: 'Upload MZN results'
-        uses: actions/upload-artifact@v3
-        with:
-          path: ${{ github.workspace }}/parsers/target/mzn_results.csv
+        run: mvn --file pom.xml test -Pcoverage -DtestFailureIgnore=true -Dgroups=${{ matrix.group }}