File tree Expand file tree Collapse file tree 2 files changed +11
-0
lines changed
Expand file tree Collapse file tree 2 files changed +11
-0
lines changed Original file line number Diff line number Diff line change 77 push :
88 tags :
99 - " v*"
10+ workflow_dispatch :
11+ # Manual run: use "Run workflow" and set ref to tag (e.g. v3.14.7) to publish that version.
1012
1113jobs :
1214 publish :
Original file line number Diff line number Diff line change @@ -32,11 +32,20 @@ jobs:
3232 echo "version=$V" >> "$GITHUB_OUTPUT"
3333
3434 - name : Create and push tag
35+ id : tag
3536 run : |
3637 TAG="v${{ steps.version.outputs.version }}"
38+ echo "tag=$TAG" >> "$GITHUB_OUTPUT"
3739 git config user.name "github-actions[bot]"
3840 git config user.email "github-actions[bot]@users.noreply.github.com"
3941 git tag "$TAG"
4042 git push origin "$TAG"
4143 env :
4244 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
45+
46+ # Tag push from a workflow does not trigger other workflows (GitHub limitation).
47+ # Trigger Publish to PyPI explicitly.
48+ - name : Trigger Publish workflow
49+ run : gh workflow run publish.yml --ref "${{ steps.tag.outputs.tag }}"
50+ env :
51+ GH_TOKEN : ${{ secrets.GITHUB_TOKEN }}
You can’t perform that action at this time.
0 commit comments