Fix workflows ignoring the results of the maven process

When the Maven log is piped to a file, then the Maven status
was ignored.

Author: uhafner

.github/workflows/quality-monitor-jenkins.yml

@@ -40,7 +40,11 @@ jobs:
         env:
           BROWSER: chrome-container
           NVD_API_KEY: ${{ secrets.NVD_API_KEY }}
-        run: mvn -V --color always -ntp clean verify -Pci -Powasp | tee maven.log
+        run: |
+          mvn -V --color always -ntp clean verify -Pci -Powasp | tee maven.log
+          if [ "${PIPESTATUS[0]}" != "0" ]; then
+            exit 1;
+          fi
       - name: Extract pull request number
         uses: jwalton/gh-find-current-pr@v1
         id: pr

.github/workflows/update-badges.yml

@@ -25,7 +25,11 @@ jobs:
         with:
           maven-version: 3.9.11
       - name: Build and test with Maven
-        run: mvn -V --color always -ntp clean verify -Pci -Ppit -Pdepgraph | tee maven.log
+        run: |
+          mvn -V --color always -ntp clean verify -Pci -Ppit -Pdepgraph | tee maven.log
+          if [ "${PIPESTATUS[0]}" != "0" ]; then
+            exit 1;
+          fi
       - name: Run Quality Monitor
         uses: uhafner/quality-monitor@v3
         with: