os/.github/workflows/main.yml

# This is a basic workflow to help you get started with Actions

name: Doxygen

# Controls when the action will run. Triggers the workflow on push or pull request
# events but only for the master branch
on:
  push:
    branches: [ master ]
  pull_request:
    branches: [ master ]

# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
  # This workflow contains a single job called "build"
  build:
    # The type of runner that the job will run on
    runs-on: ubuntu-latest

    # 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
    - name: Create docsite directory
      run: mkdir docsite
    - name: Generate kernel docs
      uses: mattnotmitt/doxygen-action@v1.1.0
      with:
        doxyfile-path: "./kernel/ActionDoxyfile"
    - name: Put files in the right place
      run: sudo mv kernel/docs/html docsite/kernel; sudo cp docindex.html docsite/index.html

    - name: Deploy
      uses: peaceiris/actions-gh-pages@v3
      with:
        github_token: ${{ secrets.GITHUB_TOKEN }}
        publish_dir: ./docsite