File tree Expand file tree Collapse file tree 1 file changed +6
-14
lines changed
Expand file tree Collapse file tree 1 file changed +6
-14
lines changed Original file line number Diff line number Diff line change 88 type : string
99
1010 pull_request :
11- types : [closed]
11+ # types: [closed]
1212 branches : [ main ]
1313
1414permissions :
1919 if : ${{ github.event_name == 'workflow_dispatch' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true) }}
2020 runs-on : ubuntu-latest
2121 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
22+ - uses : actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
2523 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
32- with :
33- ref : refs/pull/${{ inputs.pr }}/merge
3424 persist-credentials : false
3525
3626 - name : Configure Git Credentials
4333 enable-cache : true
4434 python-version : " 3.12"
4535 version : " latest"
46- - run : uv sync --only-dev
47- - run : uv run mkdocs gh-deploy --force
36+ - name : Install Dependencies
37+ run : uv sync --only-group docs
38+ - name : Deploy Docs
39+ run : uv run mkdocs gh-deploy --force
You can’t perform that action at this time.
0 commit comments