actions: minor tweaks for zizmor

Author: oscarbenjamin

.github/workflows/buildwheel.yml

@@ -470,7 +470,7 @@ jobs:
       name: pypi
       url: https://pypi.org/p/python-flint
     permissions:
-      id-token: write
+      id-token: write # Required for trusted publishing to PyPI via OIDC.
     runs-on: ubuntu-latest
 
     steps:
@@ -501,7 +501,7 @@ jobs:
     needs: pypi_release
     runs-on: ubuntu-latest
     permissions:
-      contents: write
+      contents: write # Required to create the GitHub release with the gh CLI.
 
     steps:
       - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2

.github/workflows/lint.yml

@@ -11,6 +11,7 @@ permissions:
 
 jobs:
   lint:
+    name: Lint
     runs-on: ubuntu-latest
     strategy:
       matrix: