Skip to content

Move repo to nixpkgs-24.05 (#523) #297

Move repo to nixpkgs-24.05 (#523)

Move repo to nixpkgs-24.05 (#523) #297

Workflow file for this run

name: "Deploy MkDocs to GitHub Pages"
on:
push:
branches:
- main
jobs:
deploy:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
permissions:
contents: write
runs-on: ubuntu-22.04
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Install Nix
uses: cachix/install-nix-action@v23
- name: Build GitHub Pages
id: build
run: |
nix build .#docs
echo "result=$(readlink -f ./result)" >> $GITHUB_OUTPUT
- name: Deploy Github Pages
if: ${{ github.ref == 'refs/heads/main' }}
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: '${{ steps.build.outputs.result }}/'