Expand file tree Collapse file tree 2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change 32
32
- name : Checkout repository
33
33
uses : actions/checkout@v4
34
34
with :
35
- token : " ${{ github.token }}"
36
35
# Fetch the entire git history (all branches + tags)
37
36
# We do this because the docs use git describe, which requires having all
38
37
# the commits up to the latest version tag.
90
89
# handle that without a conflict, but I haven't tested it).
91
90
git fetch origin gh-pages
92
91
git checkout gh-pages
92
+ git branch --set-upstream-to=origin/gh-pages gh-pages
93
93
git pull --rebase || { echo "Conflict detected, stopping."; exit 1; }
94
+ git push
Original file line number Diff line number Diff line change 1
1
name : Publish to PyPI / GitHub
2
2
3
3
on :
4
+ workflow_dispatch :
4
5
push :
5
6
tags :
6
7
- " v*"
51
52
name : " Publish a GitHub release"
52
53
needs : build
53
54
runs-on : ubuntu-latest
55
+ permissions :
56
+ id-token : write
54
57
55
58
steps :
56
59
- name : Download the distribution files from PR artifact
0 commit comments