File tree Expand file tree Collapse file tree 1 file changed +6
-21
lines changed
Expand file tree Collapse file tree 1 file changed +6
-21
lines changed Original file line number Diff line number Diff line change 11name : Release docs
22on :
3- workflow_dispatch :
4- inputs :
5- pr :
6- description : Pull request number to release docs for
7- required : true
8- type : string
9-
103 pull_request :
114 types : [closed]
125 branches : [ main ]
1912 if : ${{ github.event_name == 'workflow_dispatch' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) }}
2013 runs-on : ubuntu-latest
2114 steps :
22- - name : Checkout merge commit (auto on merge to main)
23- if : ${{ github.event_name == 'pull_request' }}
24- uses : actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
25- with :
26- ref : ${{ github.event.pull_request.merge_commit_sha }}
27- persist-credentials : false
28-
29- - name : Checkout PR merge ref (manual on PR)
30- if : ${{ github.event_name == 'workflow_dispatch' }}
31- uses : actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
15+ - uses : actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
3216 with :
33- ref : refs/pull/${{ inputs.pr }}/merge
34- persist-credentials : false
17+ persist-credentials : true
3518
3619 - name : Configure Git Credentials
3720 run : |
4326 enable-cache : true
4427 python-version : " 3.12"
4528 version : " latest"
46- - run : uv sync --only-dev
47- - run : uv run mkdocs gh-deploy --force
29+ - name : Install Dependencies
30+ run : uv sync --only-group docs
31+ - name : Deploy Docs
32+ run : uv run mkdocs gh-deploy --force
You can’t perform that action at this time.
0 commit comments