diff --git a/.github/workflows/bors.yml b/.github/workflows/bors.yml
index f03a37eac6a0f..23e4ae57c7142 100644
--- a/.github/workflows/bors.yml
+++ b/.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
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 1d385611beb0c..6a1ec9da2cac4 100644
--- a/.github/workflows/build.yml
+++ b/.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
diff --git a/.github/workflows/build.yml.in b/.github/workflows/build.yml.in
index 42e6c21abe02e..baff780463b21 100644
--- a/.github/workflows/build.yml.in
+++ b/.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
diff --git a/.github/workflows/build_fork.yml b/.github/workflows/build_fork.yml
index 2627e049125da..8023f82230090 100644
--- a/.github/workflows/build_fork.yml
+++ b/.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