build workflow: split typing in a separate job.

Author: lemon24

.github/workflows/build.yaml

@@ -28,16 +28,31 @@ jobs:
 
     steps:
 
-      - uses: actions/checkout@v4
+      - uses: actions/checkout@v5
 
       - uses: actions/setup-python@v5
         with:
           python-version: ${{ matrix.python-version }}
           allow-prereleases: true
 
-      - run: ./run.sh ci-install
-      - run: ./run.sh ci-run
+      - run: pip install -e '.[all]' --group tests
+      - run: coverage run -m pytest --runslow
+      - run: ./run.sh coverage-report
 
-      - uses: codecov/codecov-action@v4
+      - uses: codecov/codecov-action@v5
         with:
           token: ${{ secrets.CODECOV_TOKEN }}
+
+  typing:
+    runs-on: ubuntu-latest
+
+    steps:
+
+      - uses: actions/checkout@v5
+
+      - uses: actions/setup-python@v5
+        with:
+          python-version-file: 'pyproject.toml'
+
+      - run: pip install -e . --group typing
+      - run: mypy

run.sh

@@ -74,13 +74,6 @@ function test-all {
 
 
 function typing {
-    if on-pypy; then
-        # mypy does not work on pypy as of January 2020
-        # https://github.com/python/typed_ast/issues/97#issuecomment-484335190
-        echo "mypy does not work on pypy, doing nothing"
-        return
-    fi
-
     mypy --strict --show-error-codes src "$@"
 
     mkdir -p build
@@ -140,15 +133,6 @@ function entr-project-files {
 }
 
 
-function ci-install {
-    pip install -e '.[all]' --group tests --group typing
-}
-
-function ci-run {
-    command coverage run -m pytest --runslow && coverage-report && typing
-}
-
-
 function on-pypy {
     [[ $( python -c 'import sys; print(sys.implementation.name)' ) == pypy ]]
 }