File tree 1 file changed +9
-1
lines changed
1 file changed +9
-1
lines changed Original file line number Diff line number Diff line change @@ -30,6 +30,14 @@ name: Publish to PyPi
30
30
# 2. Use the version released under Releases e.g. v1.13.0
31
31
#
32
32
33
+ #
34
+ # === Documentation hotfix ===
35
+ #
36
+ # 1. Trigger "Publish to PyPi" workflow manually: https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow
37
+ # 2. Use the latest version released under Releases e.g. v1.21.1
38
+ # 3. Set `Build and publish docs only` field to `true`
39
+
40
+
33
41
on :
34
42
release :
35
43
types : [published]
@@ -121,9 +129,9 @@ jobs:
121
129
sync_master :
122
130
needs : release
123
131
runs-on : ubuntu-latest
132
+ if : ${{ github.event.inputs.publish_docs_only == false }}
124
133
steps :
125
134
- uses : actions/checkout@v2
126
- if : ${{ github.event.inputs.publish_docs_only == false }}
127
135
- name : Sync master from detached head
128
136
# If version matches CHANGELOG and pyproject.toml
129
137
# If it passes all checks, successfully releases to test and prod
You can’t perform that action at this time.
0 commit comments