File tree 1 file changed +45
-0
lines changed
1 file changed +45
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : " Deploy Documentation"
2
+
3
+ on :
4
+ push :
5
+ tags :
6
+ - " *"
7
+
8
+ jobs :
9
+ docs :
10
+ runs-on : ubuntu-18.04
11
+ steps :
12
+ - uses : actions/checkout@v2
13
+
14
+ - name : Setup miniconda
15
+ uses : goanpeca/setup-miniconda@v1
16
+ with :
17
+ auto-update-conda : true
18
+ python-version : 3.7
19
+
20
+ - name : Conda install dependecies
21
+ shell : bash -l {0}
22
+ run : conda install --yes -c conda-forge pythonocc-core=7.4.0 numpy scipy matplotlib vtk nose setuptools coveralls sphinx_rtd_theme sphinx python=3.7
23
+
24
+ - name : Conda info
25
+ shell : bash -l {0}
26
+ run : conda info
27
+
28
+ - name : Conda info
29
+ shell : bash -l {0}
30
+ run : cd docs && sphinx-build -b html -d build/doctrees --keep-going --no-color -w '/tmp/sphinx-log' source build/html
31
+
32
+ # - name: Create the new documentation
33
+ # uses: ammaraskar/sphinx-action@master
34
+ # with:
35
+ # docs-folder: "docs/"
36
+ # pre-build-command: "ls -l /usr/share"
37
+ # build-command: "sphinx-build -b html -d build/doctrees --keep-going --no-color -w '/tmp/sphinx-log' source build/html"
38
+
39
+ - name : Deploy
40
+ uses : peaceiris/actions-gh-pages@v3
41
+ with :
42
+ github_token : ${{ secrets.GITHUB_TOKEN }}
43
+ # deploy_key: ${{ secrets.DEPLOY_PRIVATE_KEY }}
44
+ publish_dir : ./docs/build/html
45
+ allow_empty_commit : true
You can’t perform that action at this time.
0 commit comments