File: deploy-documentation.yml

package info (click to toggle)
boost1.83 1.83.0-4.2
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 545,456 kB
  • sloc: cpp: 3,857,086; xml: 125,552; ansic: 34,414; python: 25,887; asm: 5,276; sh: 4,799; ada: 1,681; makefile: 1,629; perl: 1,212; pascal: 1,139; sql: 810; yacc: 478; ruby: 102; lisp: 24; csh: 6
file content (37 lines) | stat: -rw-r--r-- 1,021 bytes parent folder | download | duplicates (6)
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
name: deploy documentation

on: [push]

jobs:
  deploy:
    runs-on: ubuntu-20.04
    steps:
    - uses: actions/checkout@v2
    - name: setup
      run: |
        sudo apt-get update
        sudo apt-get install \
          libboost1.71-tools-dev \
          python3 \
          python3-numpy \
          python3-sphinx \
          xsltproc \
          docbook-xsl
        sudo python3 -m pip install --upgrade pip
        sudo python3 -m pip install faber
    - name: build
      run: |
        sed -e "s/\$PYTHON/python3/g" .ci/faber > ~/.faber
        faber --builddir=build doc.html
        if [ "${GITHUB_REF##*/}" == master ]; then
          echo "destination_dir=doc/html" >> $GITHUB_ENV
        else
          echo "destination_dir=doc/develop/html" >> $GITHUB_ENV
        fi
    - name: deploy
      uses: peaceiris/actions-gh-pages@v3
      with:
        github_token: ${{ secrets.GITHUB_TOKEN }}
        publish_dir: build/doc/html
        destination_dir: ${{ env.destination_dir }}
        keep_files: true