dox.yml

name: Documentation

on:
  pull_request:
    branches: [master]
    types: [closed]

jobs:
  doxygen:
    # This job will only run if the PR has been merged
    if: github.event.pull_request.merged == true
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v2

    - name: Install Doxygen
      run: sudo apt install doxygen graphviz

    - name: Run Doxygen
      run: doxygen ./Doxyfile

    - name: Deploy to GitHub Pages
      uses: JamesIves/github-pages-deploy-action@4.1.0
      with:
        token: ${{ secrets.GITHUB_TOKEN }}
        # This is the branch you wish to deploy to, for example gh-pages or docs.
        branch: gh-pages
        # The folder in your repository that you want to deploy.
        folder: /tmp/doxygen-out/
        # If you would like to push the contents of the deployment folder into a specific directory on the deployment branch you can specify it here.
        target-folder: doxygen-out
      env:
        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}