coverage not on mypy

Author: Daraan

.github/workflows/ci.yml

@@ -11,7 +11,6 @@ on:
 
 permissions:
   contents: read
-  pull-requests: write
 
 env:
   FORCE_COLOR: 1
@@ -66,11 +65,13 @@ jobs:
           allow-prereleases: true
 
       - name: Install coverage
+        if: ${{ !startsWith(matrix.python-version, 'pypy') }}
         run: |
           # Be wary that this does not install typing_extensions in the future
           pip install coverage
-        
-      - name: Test typing_extensions
+
+      - name: Test typing_extensions with coverage
+        if: ${{ !startsWith(matrix.python-version, 'pypy') }}
         run: |
           # Be wary of running `pip install` here, since it becomes easy for us to
           # accidentally pick up typing_extensions as installed by a dependency
@@ -79,8 +80,18 @@ jobs:
           export COVERAGE_FILE=.coverage_${{ matrix.python-version }}
           # Run with coverage omit files that are executed in tempfiles
           coverage run --omit ann_module*,inspect* -m unittest test_typing_extensions.py
+      
+      - name: Test typing_extensions no coverage on pypy
+        if: ${{ startsWith(matrix.python-version, 'pypy') }}
+        run: |
+          # Be wary of running `pip install` here, since it becomes easy for us to
+          # accidentally pick up typing_extensions as installed by a dependency
+          cd src
+          python --version  # just to make sure we're running the right one
+          python -m unittest test_typing_extensions.py
 
       - name: Archive code coverage results
+        if: ${{ !startsWith(matrix.python-version, 'pypy') }}
         uses: actions/upload-artifact@v4
         with:
           name: .coverage_${{ matrix.python-version }}
@@ -132,6 +143,10 @@ jobs:
     runs-on: ubuntu-latest
 
     needs: [tests]
+    permissions:
+      contents: read
+      pull-requests: write
+
 
     if: ${{ always() }}
 
@@ -172,7 +187,7 @@ jobs:
           indicators: true
           output: both
           thresholds: '80 90'
-  
+
       - name: Add Coverage PR Comment
         uses: marocchino/sticky-pull-request-comment@v2
         if: github.event_name == 'pull_request'