generateDocsDev.yml

name: GenerateDocsDev

on:
  push:
    branches:
    - '**'

concurrency: documentation

jobs:
  build:
    runs-on: ubuntu-22.04
    
    steps:
    - uses: actions/checkout@v3
    - name: Setup dotnet
      uses: actions/setup-dotnet@v3
      with:
        dotnet-version: '7.0.x'
    - name: Setup environment
      run: dotnet restore
    - name: Setup tooling
      run: |
        dotnet tool install --global docfx
    - name: Build documentation
      run: docfx doc/docfx.json
    - name: Extract branch name
      run: echo "BRANCH_NAME=$(echo ${GITHUB_REF#refs/heads/})" >> $GITHUB_ENV
    - name: Check out repo shadow copy
      uses: actions/checkout@v3
      with:
        ref: gh-pages
        path: docwrite
        fetch-depth: 0
    - name: Copy documentation over
      run: |
        rm -rf docwrite/${BRANCH_NAME}
        cp -r doc/_site docwrite/${BRANCH_NAME}
    - name: Check in
      working-directory: docwrite
      run: |
        git config --local user.email "github-actions[bot]@users.noreply.github.com"
        git config --local user.name "github-actions[bot]"
        git add .
        git diff-index --quiet HEAD || git commit -a -m "Update ${BRANCH_NAME} documentation"
    - name: Push changes
      uses: ad-m/github-push-action@master
      with:
        directory: docwrite
        github_token: ${{ secrets.GITHUB_TOKEN }}
        branch: gh-pages