pospell pattern matcher.

python · PyDocTeur · Dec 1, 2020 · Dec 1, 2020 · Dec 1, 2020 · Dec 1, 2020
commit d75fb6944f9ec4bbd00f03480711347fcd3f9be2
diff --git a/.github/problem-matchers/pospell.json b/.github/problem-matchers/pospell.json
@@ -0,0 +1,15 @@
+{
+    "problemMatcher": [
+        {
+            "owner": "pospell",
+            "pattern": [
+                {
+                    "regexp": "^(.*):(\\d+):(.*)$",
+                    "file": 1,
+                    "line": 2,
+                    "message": 3
+                }
+            ]
+        }
+    ]
+}
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -16,6 +16,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
+      - name: Register pospell problem matcher
+        run: echo "::add-matcher::.github/problem-matchers/pospell.json"
       - name: Install pospell
         run: |
           sudo apt-get update