| name: Docs | |
| on: | |
| push: | |
| paths-ignore: | |
| - '*.md' | |
| - '.mailmap' | |
| workflow_dispatch: | |
| permissions: | |
| contents: read | |
| jobs: | |
| build: | |
| runs-on: ${{ matrix.os }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| os: [macos-12, ubuntu-20.04] | |
| env: | |
| JOB_NAME: Docs | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v3 | |
| - name: Install dependencies | |
| run: | | |
| find .jenkins.d/ -type f -name '[1-9]*.sh' -exec chmod -x '{}' + | |
| ./.jenkins | |
| - name: Build documentation | |
| run: | | |
| ./waf --color=yes configure | |
| ./waf --color=yes docs |