feat: problem matchers for tests (#9552)

Makes it a bit easier to see which test failed and where

Author: alexjbest

.github/workflows/bors.yml

@@ -262,12 +262,15 @@ jobs:
           lake exe shake
 
       - name: test mathlib
-        id: test
-        run: |
-          # Tests use parts of ProofWidgets not imported by Mathlib.
-          # Ensure everything has been built.
-          lake build ProofWidgets
-          make -j 8 test
+        uses: liskin/gh-problem-matcher-wrap@v2
+        with:
+          linters: gcc
+          run: |
+            bash -o pipefail -c "
+            # Tests use parts of ProofWidgets not imported by Mathlib.
+            # Ensure everything has been built.
+            lake build ProofWidgets
+            make -j 8 test"
 
       - name: lint mathlib
         id: lint

.github/workflows/build.yml

@@ -269,12 +269,15 @@ jobs:
           lake exe shake
 
       - name: test mathlib
-        id: test
-        run: |
-          # Tests use parts of ProofWidgets not imported by Mathlib.
-          # Ensure everything has been built.
-          lake build ProofWidgets
-          make -j 8 test
+        uses: liskin/gh-problem-matcher-wrap@v2
+        with:
+          linters: gcc
+          run: |
+            bash -o pipefail -c "
+            # Tests use parts of ProofWidgets not imported by Mathlib.
+            # Ensure everything has been built.
+            lake build ProofWidgets
+            make -j 8 test"
 
       - name: lint mathlib
         id: lint

.github/workflows/build.yml.in

@@ -248,12 +248,15 @@ jobs:
           lake exe shake
 
       - name: test mathlib
-        id: test
-        run: |
-          # Tests use parts of ProofWidgets not imported by Mathlib.
-          # Ensure everything has been built.
-          lake build ProofWidgets
-          make -j 8 test
+        uses: liskin/gh-problem-matcher-wrap@v2
+        with:
+          linters: gcc
+          run: |
+            bash -o pipefail -c "
+            # Tests use parts of ProofWidgets not imported by Mathlib.
+            # Ensure everything has been built.
+            lake build ProofWidgets
+            make -j 8 test"
 
       - name: lint mathlib
         id: lint

.github/workflows/build_fork.yml

@@ -266,12 +266,15 @@ jobs:
           lake exe shake
 
       - name: test mathlib
-        id: test
-        run: |
-          # Tests use parts of ProofWidgets not imported by Mathlib.
-          # Ensure everything has been built.
-          lake build ProofWidgets
-          make -j 8 test
+        uses: liskin/gh-problem-matcher-wrap@v2
+        with:
+          linters: gcc
+          run: |
+            bash -o pipefail -c "
+            # Tests use parts of ProofWidgets not imported by Mathlib.
+            # Ensure everything has been built.
+            lake build ProofWidgets
+            make -j 8 test"
 
       - name: lint mathlib
         id: lint