deploy_docs.yml

name: Deploy Docs

on:
  workflow_run:
    workflows: ["CI"]
    branches: [main]
    types:
      - completed

jobs:
  if: ${{ github.event.workflow_run.conclusion == 'success' }}
  build:
    runs-on: windows-latest
    steps:
    - uses: actions/checkout@v3
    - name: Build docs
      run: cargo docs
    - name: Finalize docs
      shell: bash
      run: |
        # GitHub pages is looking for index.html in the root dir, so let's redirect it
        echo "<meta http-equiv=\"refresh\" content=\"0; url=csshw_lib/index.html\">" > target/doc/index.html
    - name: Upload docs
      id: deployment
      uses: actions/upload-pages-artifact@v3
      with:
        retention-days: 1
        path: target/doc/

  if: ${{ github.event.workflow_run.conclusion == 'success' }}
  deploy:
    needs: build
    permissions:
      id-token: write
      pages: write
    environment:
      name: github-pages
      url: ${{ steps.deployment.outputs.page_url }}
    runs-on: ubuntu-latest
    steps:
      - name: Deploy to GitHub Pages
        id: deployment
        uses: actions/deploy-pages@v4