-
Notifications
You must be signed in to change notification settings - Fork 0
140 lines (126 loc) · 4.78 KB
/
documentation.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
name: documentation
on:
push:
branches:
- main
release:
types: [published]
permissions:
contents: write
pages: write
jobs:
build_docs:
runs-on: ubuntu-latest
if: github.repository == 'roahmlab/rtd-code-python'
steps:
- uses: actions/checkout@v4
# - uses: actions/setup-python@v3
# - name: Install dependencies
# run: |
# pip install sphinx sphinx_rtd_theme myst_parser
# ssh-agent sh -c 'echo "${{ secrets.ZONOPY_KEY }}" | ssh-add - && git clone [email protected]:roahmlab/zonopy.git'
# cd zonopy && pip install -e . --no-dependencies && cd ..
# ssh-agent sh -c 'echo "${{ secrets.ZONOPYROB_KEY }}" | ssh-add - && git clone [email protected]:roahmlab/zonopy-robots.git'
# cd zonopy-robots && pip install -e . --no-dependencies && cd ..
# pip install -e .
# - name: Sphinx build
# run: |
# sphinx-build docs/source docs/build
# - name: Deploy to GitHub Pages
# uses: peaceiris/actions-gh-pages@v3
# if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }}
# with:
# publish_branch: gh-pages
# github_token: ${{ secrets.GITHUB_TOKEN }}
# publish_dir: _build/
# force_orphan: true
- name: 'Run the buildscript'
# Workaround to keep tty working
# https://github.com/gfx/example-github-actions-with-tty
shell: 'script -q -e -c "bash {0}"'
run: ./docs/build-docs.sh ${{ fromJSON('{"tag":"html","branch":"html-dev"}')[github.ref_type] }}
# Cache the build so we can deploy it
- name: 'cache built docs'
id: cache-build
uses: actions/cache/save@v4
with:
path: ${{ github.workspace }}/docs/build/html
key: ${{ github.sha }}-docs
# Cache version generation script if we are on a tag
- name: 'cache version generation script'
id: cache-version-script
uses: actions/cache/save@v4
if: github.ref_type == 'tag'
with:
path: ${{ github.workspace }}/docs/generate_versions.sh
key: ${{ github.sha }}-docs
deploy_main_docs:
permissions:
contents: write
pages: write
runs-on: ubuntu-latest
name: 'Publish latest docs to github pages'
needs: build_docs
if: github.ref_type == 'branch' && github.ref == 'refs/heads/main' && github.repository == 'roahmlab/rtd-code-python'
steps:
- name: 'Restore built docs cache'
uses: actions/cache/restore@v4
id: restore-build
with:
path: ${{ github.workspace }}/docs/build/html
key: ${{ github.sha }}-docs
- name: 'Deploy to gh-pages'
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./docs/build/html
publish_branch: gh-pages
destination_dir: dev
deploy_version_docs:
permissions:
contents: write
pages: write
runs-on: ubuntu-latest
name: 'Publish versioned documentation to github pages'
needs: build_docs
if: github.ref_type == 'tag' && github.repository == 'roahmlab/rtd-code-python'
steps:
- name: 'Checkout the repo'
uses: actions/checkout@v4
with:
ref: gh-pages
path: ./public
- name: 'Get cached version script'
uses: actions/cache/restore@v4
with:
path: ${{ github.workspace }}/docs/generate_versions.sh
key: ${{ github.sha }}-docs
- name: 'Get cached version build'
uses: actions/cache/restore@v4
with:
path: ${{ github.workspace }}/docs/build/html
key: ${{ github.sha }}-docs
- name: 'Move file & directories & run version update script'
shell: 'script -q -e -c "bash {0}"'
run: >
mv ./docs/generate_versions.sh ./public/generate_versions.sh
&& mv ./docs/build/html ./public/${{ github.ref_name }}
&& rm -rf ./docs/
&& ./public/generate_versions.sh
&& rm -f ./public/generate_versions.sh
- name: 'Update latest symlink and kill git'
shell: 'script -q -e -c "bash {0}"'
run: cd ./public/ && ln -sfn ./${{ github.ref_name }} ./latest && ls -la
# - name: 'Deploy to gh-pages'
# uses: peaceiris/actions-gh-pages@v3
# with:
# github_token: ${{ secrets.GITHUB_TOKEN }}
# publish_dir: ./public
# publish_branch: gh-pages
- name: 'Manually deploy to gh-pages'
run: |
git config --global user.email "${{github.actor}}@users.noreply.github.com"
git config --global user.name "${{github.actor}}"
cd ./public
git add .
git commit -m "deploy: ${{ github.sha }}" && git push origin gh-pages