Fix version tag for pypa/gh-action-pypi-publish (#4469)

runtimeverification · Jun 21, 2024 · df88946 · df88946
1 parent bf33c22
commit df88946
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -429,7 +429,7 @@ jobs:
           make build
 
       - name: Publish pyk to PyPI
-        uses: pypa/gh-action-pypi-publish@v1
+        uses: pypa/gh-action-pypi-publish@release/v1
         with:
           packages-dir: pyk/dist
           user: __token__