Specify user is __token__ and let oidc get the token, accodring to py…

…pa/gh-action-pypi-publish#138 (comment)
runtimeverification · Jun 4, 2024 · c79ceea · c79ceea
1 parent 5feb025
commit c79ceea
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -385,6 +385,7 @@ jobs:
         uses: pypa/gh-action-pypi-publish@v1.8.14
         with:
           packages-dir: pyk/dist
+          user: __token__
 
   # release:
   #   name: 'Publish Release'