-
Notifications
You must be signed in to change notification settings - Fork 0
61 lines (52 loc) · 1.88 KB
/
documentation-branch.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
# # 'sync' job from: https://stackoverflow.com/questions/76509304/running-github-action-to-keep-a-branch-up-to-date-with-main
# name: Run Documentation Branch
# on:
# push:
# branches: [main]
# permissions:
# contents: write
# jobs:
# # sync:
# # # if: github.ref == 'refs/heads/documentation'
# # runs-on: ubuntu-latest
# # steps:
# # - name: Checkout
# # uses: actions/checkout@v3
# # with:
# # fetch-depth: 0
# # - name: Setup Git User
# # run: |
# # git config user.name "GitHub Action"
# # git config user.email "<EMAIL>"
# # - name: Update Documentation Branch
# # run: |
# # git checkout main
# # git fetch origin
# # git checkout documentation
# # git pull
# # git merge origin/main
# # git push origin documentation
# build-deploy-documentation:
# # needs: sync
# runs-on: ubuntu-latest
# steps:
# - name: Checkout
# uses: actions/checkout@v3
# - name: Build DOxygen documentation
# uses: mattnotmitt/[email protected]
# with:
# doxyfile-path: './backend/Doxyfile'
# working-directory: '.'
# enable-latex: true
# - name: Build JSDoc documentation
# if: ${{ false }}
# uses: andstor/jsdoc-action@v1
# with:
# source_dir: './frontend/src/lib'
# recurse: true
# output_dir: './docs/jsdoc'
# - name: Deploy
# uses: peaceiris/actions-gh-pages@v3
# with:
# github_token: ${{ secrets.GITHUB_TOKEN }}
# publish_dir: ./generated-docs/html