File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 4444 with :
4545 ref : master
4646 fetch-depth : 0
47- persist-credentials : false
4847 - uses : actions/setup-python@e797f83bcb11b83ae66e0230d6156d7c80228e7c # v6.0.0
4948 with :
5049 python-version : ' 3.14'
@@ -106,18 +105,8 @@ jobs:
106105 fi
107106
108107 make docs-export
109- env :
110- # Fetch through git without writing the token into .git/config.
111- GIT_CONFIG_COUNT : 1
112- GIT_CONFIG_KEY_0 : http.https://github.com/.extraheader
113- GIT_CONFIG_VALUE_0 : " AUTHORIZATION: bearer ${{ github.token }}"
114108 - name : Push rebuilt documentation branch
115109 run : git push --force origin "refs/heads/$DOCS_DEPLOY_BRANCH:refs/heads/gh-pages"
116- env :
117- # Push through git without writing the token into .git/config.
118- GIT_CONFIG_COUNT : 1
119- GIT_CONFIG_KEY_0 : http.https://github.com/.extraheader
120- GIT_CONFIG_VALUE_0 : " AUTHORIZATION: bearer ${{ github.token }}"
121110 - uses : actions/upload-pages-artifact@56afc609e74202658d3ffba0e8f6dda462b719fa # v3.0.1
122111 with :
123112 path : site-versioned
Original file line number Diff line number Diff line change 7575 # `mike` needs the existing `gh-pages` branch history so each release
7676 # adds one version without dropping older versions.
7777 fetch-depth : 0
78- persist-credentials : false
7978 - uses : actions/setup-python@e797f83bcb11b83ae66e0230d6156d7c80228e7c # v6.0.0
8079 with :
8180 python-version : ' 3.14'
9998 fi
10099
101100 make docs-export
102- env :
103- # Let `mike` push through git without writing the token into .git/config.
104- GIT_CONFIG_COUNT : 1
105- GIT_CONFIG_KEY_0 : http.https://github.com/.extraheader
106- GIT_CONFIG_VALUE_0 : " AUTHORIZATION: bearer ${{ github.token }}"
107101 - uses : actions/upload-pages-artifact@56afc609e74202658d3ffba0e8f6dda462b719fa # v3.0.1
108102 with :
109103 path : site-versioned
You can’t perform that action at this time.
0 commit comments