Attempt to fix automatic creation of GitHub release.

Author: aaugustin

.github/workflows/release.yml

@@ -71,7 +71,7 @@ jobs:
     # Don't release when running the workflow manually from GitHub's UI.
     if: github.event_name == 'push' && startsWith(github.ref, 'refs/tags/')
     permissions:
-      id-token: write
+      contents: write
     steps:
       - name: Download artifacts
         uses: actions/download-artifact@v4