Run tests on latest and lowest typing-extensions (#4)

Also fix coverage workflow

Author: Viicos

.github/workflows/coverage_comment.yml

@@ -0,0 +1,32 @@
+name: Post coverage comment
+
+on:
+  workflow_run:
+    workflows: ["CI"]
+    types:
+      - completed
+
+jobs:
+  test:
+    name: Run tests & display coverage
+    runs-on: ubuntu-latest
+    if: github.event.workflow_run.event == 'pull_request' && github.event.workflow_run.conclusion == 'success'
+    permissions:
+      # Gives the action the necessary permissions for publishing new
+      # comments in pull requests.
+      pull-requests: write
+      # Gives the action the necessary permissions for editing existing
+      # comments (to avoid publishing multiple comments in the same PR)
+      contents: write
+      # Gives the action the necessary permissions for looking up the
+      # workflow that launched this workflow, and download the related
+      # artifact that contains the comment to be published
+      actions: read
+    steps:
+      # DO NOT run actions/checkout here, for security reasons
+      # For details, refer to https://securitylab.github.com/research/github-actions-preventing-pwn-requests/
+      - name: Post comment
+        uses: py-cov-action/python-coverage-comment-action@v3
+        with:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          GITHUB_PR_RUN_ID: ${{ github.event.workflow_run.id }}

.github/workflows/tests.yml

@@ -1,15 +1,24 @@
 name: Tests
 
-on: [push]
+on:
+  push:
+    branches:
+      - main
+    tags:
+      - '**'
+  pull_request:
+
+env:
+  FORCE_COLOR: 1
 
 jobs:
   test:
-    name: Run tests with pytest
+    name: Run tests
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-latest, macos-latest, windows-latest]
         python-version: ['3.9', '3.10', '3.11', '3.12', '3.13', '3.14']
+        os: [ubuntu-latest, macos-latest, windows-latest]
     runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v4
@@ -32,6 +41,31 @@ jobs:
           path: coverage
           include-hidden-files: true
 
+  test-typing-extensions:
+    name: Run test on typing-extensions
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        typing-extensions: [main, lowest]
+        python-version: ['3.9', '3.10', '3.11', '3.12', '3.13', '3.14']
+
+    steps:
+      - uses: actions/checkout@v4
+      - uses: astral-sh/setup-uv@v5
+        with:
+          python-version: ${{ matrix.python-version }}
+      - name: Install dependencies and typing-extensions main
+        run: |
+          uv sync --group tests
+          uv pip install 'typing-extensions @ git+https://github.com/python/typing_extensions.git'
+        if: matrix.typing-extensions == 'main'
+      - name: Install lowest dependencies
+        run: uv sync --group tests --resolution lowest-direct
+        if: matrix.typing-extensions == 'lowest'
+      - name: Run tests
+        run: make test
+
   docs:
     name: Build and check documentation
     runs-on: ubuntu-latest
@@ -103,8 +137,6 @@ jobs:
 
     steps:
       - uses: actions/checkout@v4
-        with:
-          persist-credentials: false
 
       - name: Download coverage data
         uses: actions/download-artifact@v4