-
Notifications
You must be signed in to change notification settings - Fork 2
42 lines (39 loc) · 1.44 KB
/
gh-pages.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
name: Publish documentation to gh-pages
on:
push:
branches:
- develop
jobs:
gh-pages:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Install CMake
run: |
cd ${GITHUB_WORKSPACE}
mkdir build-deps
cd build-deps
wget https://cmake.org/files/v3.18/cmake-3.18.6-Linux-x86_64.tar.gz
tar xf cmake-3.18.6-Linux-x86_64.tar.gz
- name: Install Doxygen
run: |
sudo apt install -y --quiet --no-install-recommends doxygen graphviz
- name: Run Doxygen
run: |
cd ${GITHUB_WORKSPACE}
mkdir build
cd build
../build-deps/cmake-3.18.6-Linux-x86_64/bin/cmake -Dbactria_BUILD_DOCUMENTATION=ON -Dbactria_BUILD_EXAMPLES=OFF -Dbactria_BUILD_PLUGINS=OFF ..
../build-deps/cmake-3.18.6-Linux-x86_64/bin/cmake --build .
- name: Publish documentation
run: |
cd ${GITHUB_WORKSPACE}
git clone -b gh-pages https://x-access-token:${{secrets.GITHUB_TOKEN}}@github.com/${{github.repository}}.git doc-deploy
cd doc-deploy
git config --local user.email "[email protected]"
git config --local user.name "GitHub Action"
rm -rf *
cp -r ../build/docs/html/* .
git add .
git log -n 3
git diff --quiet && git diff --staged --quiet || (git commit -m "Update documentation skip-checks: true"; git push origin gh-pages)