summaryrefslogtreecommitdiff
path: root/.github/actions/build-documentation/action.yml
blob: 8224ac4bbb46002bbb642f1b99c5ef62ec6e97e1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
name: Build documentation
description: Build documentation and store it as artifact
inputs:
  build-dir:
    default: build
runs:
  using: composite
  steps:
    - name: Build Documentation
      shell: bash
      run: |
        make -j${{ env.num_proc }} docs-gh
        if [ "${{ github.event_name }}" == "pull_request" ] ; then
          echo "${{ github.event.number }}" > docs/sphinx-gh/prnum
        fi
      working-directory: ${{ inputs.build-dir }}
    
    - name: Store Documentation
      uses: actions/upload-artifact@v2
      with:
        name: documentation
        path: ${{ inputs.build-dir }}/docs/sphinx-gh/
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback