File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 6868 path : ${{ env.ARTIFACTS_DIR }}/docs
6969 retention-days : 7
7070
71- # ─────────────────────────────────────────────────────────────────
72- # Deploy to GitHub Pages
73- # ─────────────────────────────────────────────────────────────────
74- deploy-pages :
75- name : Deploy to GitHub Pages
76- runs-on : ubuntu-latest
77- needs : build-docs
78- if : github.event_name == 'push' || github.event_name == 'workflow_dispatch'
79- environment :
80- name : github-pages
81- url : ${{ steps.deployment.outputs.page_url }}
82- steps :
83- - name : Download documentation
84- uses : actions/download-artifact@v4
85- with :
86- name : documentation
87- path : docs-output
88-
89- - name : Upload pages artifact
90- uses : actions/upload-pages-artifact@v3
91- with :
92- path : ./docs-output
93-
94- - name : Add comment on PR (if applicable)
95- if : github.event_name == 'pull_request' && success()
96- uses : actions/github-script@v7
97- with :
98- script : |
99- github.rest.issues.createComment({
100- issue_number: context.issue.number,
101- owner: context.repo.owner,
102- repo: context.repo.repo,
103- body: '📚 Documentation has been updated and published! View it at: ${{ steps.deployment.outputs.page_url }}'
104- })
105-
10671 # ─────────────────────────────────────────────────────────────────
10772 # Notify on Success
10873 # ─────────────────────────────────────────────────────────────────
You can’t perform that action at this time.
0 commit comments