devel.yaml

name: doxygen-build-commit-push

on:
  push:
    branches: [ devel ]

jobs:
  build:
    # The type of runner that the job will run on
    runs-on: ubuntu-20.04

    # Steps represent a sequence of tasks that will be executed as part of the job
    steps:
    # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it
    - uses: actions/checkout@v2

    - uses: mattnotmitt/doxygen-action@v1
      with:
        working-directory: "doc/"
        doxyfile-path: "./doxy.conf"

    - name: commit changes
      run: |
        git clone https://github.com/kobuki-base/kobuki_core.git --branch gh-pages --single-branch gh-pages
        cp -r doc/generated/html/* gh-pages/
        touch gh-pages/.nojekyll
        cd gh-pages
        git config --local user.email "action@github.com"
        git config --local user.name "GitHub Action"
        git add .
        # this command will fail if there we no changes, ignore the return code
        git commit -m "[action] documentation update" -a || true

    - name: push changes
      uses: ad-m/github-push-action@master
      with:
        branch: gh-pages
        directory: gh-pages
        github_token: ${{ secrets.GITHUB_TOKEN }}