docs.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:
        runs-on: ubuntu-latest
        permissions:
            contents: write
        concurrency:
            group: ${{ github.workflow }}
        steps:
            - uses: actions/checkout@v6
              with:
                  fetch-depth: 0

            - uses: cachix/install-nix-action@v31

            - 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 ./docs --command bash -c "cd docs && mike deploy -p main"

            - name: Deploy version
              if: startsWith(github.ref, 'refs/tags/v')
              run: |
                  REF_NAME=${{ github.ref_name }}
                  MAJOR_MINOR=${REF_NAME%.*}
                  nix develop ./docs --command bash -c "cd docs && mike deploy -p -u ${MAJOR_MINOR} latest"