Add CPProfiler back + MiniZinc support

.github/workflows/codeql-analysis.yml

@@ -35,11 +35,12 @@ jobs:
 
     steps:
     - name: Checkout repository
-      uses: actions/checkout@v2
+      uses: actions/checkout@v4
       with:
         # We must fetch at least the immediate parents so that if this is
         # a pull request then we can checkout the head.
         fetch-depth: 2
+        submodules: 'true'
 
     # If this run was triggered by a pull request event, then checkout
     # the head of the pull request instead of the merge commit.

.github/workflows/docker-image.yml

@@ -12,7 +12,9 @@ jobs:
     runs-on: ubuntu-latest
 
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
+        with:
+          submodules: 'true'
       - name: Build and push Docker images
         uses: docker/[email protected]
         with:

.github/workflows/maven-test.yml

@@ -20,7 +20,9 @@ jobs:
 
     # The different steps
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
+        with:
+          submodules: 'true'
       - name: Set up JDK 11
         uses: actions/setup-java@v3
         with:
@@ -47,7 +49,9 @@ jobs:
 
     # The different steps
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
+        with:
+          submodules: 'true'
       - name: Set up JDK 11
         uses: actions/setup-java@v3
         with:
@@ -76,7 +80,9 @@ jobs:
 
     # The different steps
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
+        with:
+          submodules: 'true'
       - name: Set up JDK 11
         uses: actions/setup-java@v3
         with:

.github/workflows/publish-snapshot.yml

@@ -13,7 +13,9 @@ jobs:
   publish:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
+        with:
+          submodules: 'true'
       - name: Set up Maven central repository
         uses: actions/setup-java@v3
         with: