Remove unnecessary permissions

Author: denialhaag

.github/workflows/ci.yml

@@ -171,9 +171,6 @@ jobs:
     with:
       runs-on: ${{ matrix.runs-on }}
       setup-z3: true
-    permissions:
-      contents: read
-      id-token: write
 
   # run extensive Python tests on PRs labeled with the `extensive-python-ci` label
   python-tests-extensive:
@@ -199,9 +196,6 @@ jobs:
     with:
       runs-on: ${{ matrix.runs-on }}
       setup-z3: true
-    permissions:
-      contents: read
-      id-token: write
 
   python-coverage:
     name: 🐍 Coverage