-
Notifications
You must be signed in to change notification settings - Fork 148
61 lines (53 loc) · 1.75 KB
/
docs.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
name: docs
on:
push:
branches:
- 'main'
jobs:
update-docs:
if: github.repository == 'symforce-org/symforce'
runs-on: ubuntu-20.04
steps:
- name: Checkout
uses: actions/checkout@v3
- name: Install build dependencies
run: |
sudo apt-get update
sudo apt-get install -y \
build-essential \
doxygen \
libgmp-dev \
pandoc
- name: Install python dependencies
run: pip install -r dev_requirements.txt
- name: Run cmake build
run: |
cmake -B build \
-DSYMFORCE_BUILD_OPT=ON \
-DSYMFORCE_BUILD_CC_SYM=ON \
-DSYMFORCE_BUILD_EXAMPLES=OFF \
-DSYMFORCE_BUILD_TESTS=OFF \
-DSYMFORCE_BUILD_SYMENGINE=ON \
-DSYMFORCE_GENERATE_MANIFEST=ON \
-DSYMFORCE_BUILD_BENCHMARKS=OFF
cmake --build build -j $(nproc)
- name: Build docs
run: |
pip install build/lcmtypes/python2.7
make docs
- name: Remove unnecessary doc files
run: |
rm -rf build/docs/.doctrees
rm build/docs/.buildinfo
- name: Deploy docs
uses: symforce-org/github-action-push-to-another-repository@10a3e9ec247be83fedd82f7bb7c3ed1f7218528e
env:
SSH_DEPLOY_KEY: ${{ secrets.SSH_DOCUMENTATION_DEPLOY_KEY }}
with:
source-directory: build/docs
destination-github-username: 'symforce-org'
destination-repository-name: 'symforce-org.github.io'
user-email: [email protected]
commit-message: Regenerate docs from ${{ github.sha }}
target-branch: main
destination-patterns-to-preserve: 'CNAME .nojekyll downloads'