gh-pages.yml

name: Deploy docs

on:
  push:
    branches:
      - main
    tags:
      - 'v*'

  # Allows you to run this workflow manually from the Actions tab
  workflow_dispatch:

jobs:

  deploy-main:
    runs-on: ubuntu-22.04
    permissions:
      contents: write
    concurrency:
      group: ${{ github.workflow }}
    steps:
      - uses: actions/checkout@v4
        with:
          fetch-depth: 0
      - uses: cachix/install-nix-action@V27
        with:
          extra_nix_config: |
            accept-flake-config = true
            experimental-features = nix-command flakes
      - name: Configure Git user
        run: |
          git config --local user.email "github-actions[bot]@users.noreply.github.com"
          git config --local user.name "github-actions[bot]"
      - name: Deploy main
        if: ${{ github.ref_name == 'main' }}
        run: |
          nix develop --command bash -c "mike deploy -p main"
      - name: Deploy version
        if: startsWith(github.ref, 'refs/tags/v')
        run: |
          nix develop --command bash -c "mike deploy -p -u ${{ github.ref_name }} latest"