blob: a5b4c300feff6c8c8c39fdf5b9bd992928d0fff8 [file] [log] [blame]
Davide Pesaventoe8c82ef2021-07-28 02:38:51 -04001name: Docs
2on:
3 push:
Davide Pesaventoc4343232021-08-13 23:17:05 -04004 paths-ignore:
Davide Pesavento2c8ec072021-09-30 00:04:23 -04005 - '*.md'
Davide Pesaventoc4343232021-08-13 23:17:05 -04006 - '.mailmap'
Davide Pesaventoe8c82ef2021-07-28 02:38:51 -04007 workflow_dispatch:
8
Davide Pesaventoc4343232021-08-13 23:17:05 -04009permissions:
10 contents: read
11
Davide Pesaventoe8c82ef2021-07-28 02:38:51 -040012jobs:
13 build:
14 strategy:
15 fail-fast: false
16 matrix:
Davide Pesavento2c8ec072021-09-30 00:04:23 -040017 os: [macos-11, ubuntu-20.04]
Davide Pesaventoe8c82ef2021-07-28 02:38:51 -040018 runs-on: ${{ matrix.os }}
19 env:
20 JOB_NAME: Docs
21 WAF_JOBS: 3
22 steps:
23 - name: Checkout
Davide Pesavento96412a12022-03-05 13:34:23 -050024 uses: actions/checkout@v3
Davide Pesaventoe8c82ef2021-07-28 02:38:51 -040025 - name: Install dependencies
26 run: |
27 case ${RUNNER_OS} in
Davide Pesavento2c8ec072021-09-30 00:04:23 -040028 Linux) export NODE_LABELS="Linux Ubuntu" ;;
29 macOS) export NODE_LABELS="OSX" ;;
Davide Pesaventoe8c82ef2021-07-28 02:38:51 -040030 esac
31 find .jenkins.d/ -type f -name '[1-9]*.sh' -exec chmod -x '{}' +
32 ./.jenkins
33 - name: Build documentation
34 run: |
35 ./waf --color=yes configure
36 ./waf --color=yes build --targets=manpages