Reactivate Checkstyle

.github/workflows/code_quality.yml

@@ -35,3 +35,46 @@ jobs:
           cache: 'gradle'
       - name: Build with Gradle
         run: ./gradlew --parallel --continue spotlessCheck
+
+  checkstyle:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+          ref: ${{ github.event.pull_request.head.sha }}
+
+      - uses: actions/setup-java@v4
+        with:
+          distribution: 'corretto'
+          java-version: '21'
+          cache: 'gradle'
+
+      - run: git merge-base HEAD origin/main
+      - run: git diff -U0 $(git merge-base HEAD origin/main)
+
+      - name: Build with Gradle
+        run: ./gradlew --parallel --continue checkstyleMain
+
+      - name: Merge sarif files into single file.
+        run: |
+          ./gradlew --parallel --continue sarifCopy
+          ls build/sarif-results/*
+        if: (success() || failure())
+
+      - name: "Job summary"
+        run: "cat */build/reports/checkstyle/main.md >> $GITHUB_STEP_SUMMARY"
+        if: (success() || failure())
+
+      - name: Upload checkstyle report
+        uses: actions/upload-artifact@v4
+        if: (success() || failure())
+        with:
+          name: checkstyle-report
+          path: "**/build/reports/checkstyle/main.html"
+
+      - name: "Publish in Github code scanning"
+        uses: github/codeql-action/upload-sarif@v3
+        if: (success() || failure())
+        with:
+          sarif_file: "build/sarif-results/checkstyle.sarif"

.github/workflows/tests.yml

@@ -72,6 +72,12 @@ jobs:
 
       - name: Upload coverage reports to Codecov
         uses: codecov/codecov-action@v5
+        if: (success() || failure())
+
+      - name: JUnit into Github Annotations
+        run: ./gradlew junitAsAnnotations
+        if: (success() || failure())
+
 
   integration-tests:
     env:
@@ -110,3 +116,9 @@ jobs:
             **/build/test-results/*/*.xml
             key.core/build/reports/runallproofs/*
             **/build/reports/
+
+      - name: JUnit into Github Annotations
+        run: ./gradlew junitAsAnnotations
+        if: (success() || failure())
+
+