blob: 0641c2125fc67b08d49e5bb8cfdb052d359e7585 [file] [log] [blame]
Davide Pesaventoba8a4ed2021-10-13 21:28:43 -04001name: Docs
2on:
3 push:
4 paths-ignore:
5 - '*.md'
6 - '.mailmap'
7 workflow_dispatch:
8
9permissions:
10 contents: read
11
12jobs:
13 build:
Davide Pesaventoede59632022-08-26 20:35:44 -040014 runs-on: ${{ matrix.os }}
Davide Pesaventoba8a4ed2021-10-13 21:28:43 -040015 strategy:
16 fail-fast: false
17 matrix:
Davide Pesaventoede59632022-08-26 20:35:44 -040018 os: [macos-12, ubuntu-20.04]
Davide Pesaventoba8a4ed2021-10-13 21:28:43 -040019 env:
20 JOB_NAME: Docs
Davide Pesaventoba8a4ed2021-10-13 21:28:43 -040021 steps:
22 - name: Checkout
Davide Pesaventod1f1df82022-03-12 16:40:37 -050023 uses: actions/checkout@v3
Davide Pesaventoba8a4ed2021-10-13 21:28:43 -040024 - name: Install dependencies
25 run: |
Davide Pesaventoba8a4ed2021-10-13 21:28:43 -040026 find .jenkins.d/ -type f -name '[1-9]*.sh' -exec chmod -x '{}' +
27 ./.jenkins
28 - name: Build documentation
29 run: |
30 ./waf --color=yes configure
31 ./waf --color=yes build --targets=version.hpp
32 ./waf --color=yes build --targets=manpages
33 ./waf --color=yes docs