1name: Doxygen build
2
3on:
4  pull_request:
5    types: [closed]
6
7jobs:
8  build_docs:
9    if: github.event.pull_request.merged == true
10    name: Build & Deploy Docs
11    runs-on: ubuntu-20.04
12    permissions:
13      contents: write
14    steps:
15      - name: Checkout
16        uses: actions/checkout@v3
17        with:
18          path: zscilib
19
20      - name: Deploy
21        uses: DenverCoder1/doxygen-github-pages-action@v1.1.0
22        with:
23          github_token: ${{ secrets.GITHUB_TOKEN }}
24          branch: gh-pages
25          folder: doxygen/html
26          config_file: doc/Doxyfile