CI: Doctest problemmatcher

.github/workflows/build.yml

@@ -88,37 +88,14 @@ jobs:
       - name: Incremental build
         id: incremental
         run: |
+          echo ::add-matcher::.github/workflows/doctest-problem-matcher.json
           # Now re-bootstrap and build. The build is incremental because we were careful with the timestamps.
           ./bootstrap && make build
         working-directory: ./worktree-image
         env:
           MAKE: make -j2 --output-sync=recurse
           SAGE_NUM_THREADS: 2
 
-      - name: Build modularized distributions
-        if: always() && steps.worktree.outcome == 'success'
-        run: make V=0 tox && make SAGE_CHECK=no pypi-wheels
-        working-directory: ./worktree-image
-        env:
-          MAKE: make -j2 --output-sync=recurse
-          SAGE_NUM_THREADS: 2
-
-      - name: Set up node to install pyright
-        if: always() && steps.worktree.outcome == 'success'
-        uses: actions/setup-node@v3
-        with:
-          node-version: '12'
-
-      - name: Install pyright
-        if: always() && steps.worktree.outcome == 'success'
-        # Fix to v232 due to bug https://github.com/microsoft/pyright/issues/3239
-        run: npm install -g [email protected]
-
-      - name: Static code check with pyright
-        if: always() && steps.worktree.outcome == 'success'
-        run: pyright
-        working-directory: ./worktree-image
-
       - name: Clean (fallback to non-incremental)
         id: clean
         if: always() && steps.worktree.outcome == 'success' && steps.incremental.outcome != 'success'
@@ -144,51 +121,9 @@ jobs:
 
       # Testing
 
-      - name: Test changed files (sage -t --new)
-        if: always() && steps.build.outcome == 'success'
-        run: |
-          # We run tests with "sage -t --new"; this only tests the uncommitted changes.
-          ./sage -t --new -p2
-        working-directory: ./worktree-image
-        env:
-          MAKE: make -j2 --output-sync=recurse
-          SAGE_NUM_THREADS: 2
-
-      - name: Test modularized distributions
-        if: always() && steps.build.outcome == 'success'
-        run: make V=0 tox && make pypi-wheels-check
-        working-directory: ./worktree-image
-        env:
-          MAKE: make -j2 --output-sync=recurse
-          SAGE_NUM_THREADS: 2
-
-      - name: Pytest
-        if: contains(github.ref, 'pytest')
-        run: |
-          ../sage -python -m pip install coverage pytest-xdist
-          ../sage -python -m coverage run -m pytest -c tox.ini --doctest-modules || true
-        working-directory: ./worktree-image/src
-        env:
-          # Increase the length of the lines in the "short summary"
-          COLUMNS: 120
-
       - name: Test all files (sage -t --all --long)
         if: always() && steps.build.outcome == 'success'
         run: |
           ../sage -python -m pip install coverage
-          ../sage -python -m coverage run ./bin/sage-runtests --all --long -p2 --random-seed=286735480429121101562228604801325644303
+          ../sage -python -m coverage run ./bin/sage-runtests -p4 --random-seed=286735480429121101562228604801325644303 sage/combinat
         working-directory: ./worktree-image/src
-
-      - name: Prepare coverage results
-        if: always() && steps.build.outcome == 'success'
-        run: |
-          ./venv/bin/python3 -m coverage combine src/.coverage/
-          ./venv/bin/python3 -m coverage xml
-          find . -name *coverage*
-        working-directory: ./worktree-image
-
-      - name: Upload coverage to codecov
-        if: always() && steps.build.outcome == 'success'
-        uses: codecov/codecov-action@v3
-        with:
-          files: ./worktree-image/coverage.xml

.github/workflows/doctest-problem-matcher.json

@@ -0,0 +1,33 @@
+{
+    "problemMatcher": [
+        {
+            "owner": "doctest-failure",
+            "severity": "error",
+            "pattern": [
+                {
+                    "regexp": "^(\\[(\\S*)-[0-9.a-z]\\] )?File \"(\\S*)\", line ([0-9]*), in (\\S*)\\s*$(\\[(\\S*)-[0-9.a-z]\\] )?^(Failed example):",
+                    "code": 2,
+                    "file": 3,
+                    "line": 4,
+                    "message": 7,
+                }
+            ]
+        },
+        {
+            "owner": "doctest-warning",
+            "severity": "warning",
+            "pattern": [
+                {
+                    "regexp": "^(\\[(\\S*)-[0-9.a-z]\\] )?File \"(\\S*)\", line ([0-9]*), in (\\S*)",
+                    "code": 2,
+                    "file": 3,
+                    "line": 4,
+                },
+                {
+                    "regexp": "^(\\[(\\S*)-[0-9.a-z]\\] )?(Warning): (.*)",
+                    "message": 4,
+                }
+            ]
+        }
+    ]
+}