Skip to content

feat: Add support for using watchman(1) instead of walking filesystem #128

feat: Add support for using watchman(1) instead of walking filesystem

feat: Add support for using watchman(1) instead of walking filesystem #128

Workflow file for this run

# Build and deploy MkDocs to gh-pages for main branch
name: gh-pages
on:
push:
branches:
- main
- staging
- trying
pull_request:
workflow_dispatch:
permissions:
contents: write
jobs:
gh-pages:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: cachix/install-nix-action@v24
- uses: cachix/cachix-action@v13
with:
name: numtide
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'
- name: Build the docs
id: build
run: |
nix build .#docs
echo "result=$(readlink ./result)" >> $GITHUB_OUTPUT
- name: Deploy
uses: peaceiris/actions-gh-pages@v3
if: github.ref == 'refs/heads/main'
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: "${{ steps.build.outputs.result }}/"