forked from MikePopoloski/slang
-
Notifications
You must be signed in to change notification settings - Fork 0
48 lines (46 loc) · 1.5 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
name: docs
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v2
with:
fetch-depth: 0
- name: Install dependencies
run: |
pip install jinja2 pygments
wget https://sourceforge.net/projects/doxygen/files/rel-1.9.5/doxygen-1.9.5.linux.bin.tar.gz
tar -xvf doxygen-1.9.5.linux.bin.tar.gz
cp doxygen-1.9.5/bin/doxygen /usr/local/bin
- name: Build
run: |
cmake -B build -DSLANG_INCLUDE_DOCS=ON -DSLANG_INCLUDE_TESTS=OFF
cmake --build build --target docs -j8
tar -czvf slang.tar.gz build/docs build/bin/slang
- name: Upload
if: github.event_name != 'pull_request'
uses: appleboy/scp-action@master
with:
host: ${{ secrets.SSH_DEPLOY_HOST }}
username: ${{ secrets.SSH_DEPLOY_USERNAME }}
port: ${{ secrets.SSH_DEPLOY_PORT }}
key: ${{ secrets.SSH_DEPLOY_KEY }}
passphrase: ${{ secrets.SSH_DEPLOY_PASSPHRASE }}
source: slang.tar.gz
target: upload/
- name: Deploy
if: github.event_name != 'pull_request'
uses: appleboy/ssh-action@master
with:
host: ${{ secrets.SSH_DEPLOY_HOST }}
username: ${{ secrets.SSH_DEPLOY_USERNAME }}
port: ${{ secrets.SSH_DEPLOY_PORT }}
key: ${{ secrets.SSH_DEPLOY_KEY }}
passphrase: ${{ secrets.SSH_DEPLOY_PASSPHRASE }}
script: slang-website/deploy_docs.sh