2024-01-14 18:58:08 +01:00
|
|
|
name: Deploy Documentation
|
|
|
|
|
|
|
|
on:
|
2024-01-14 19:22:51 +01:00
|
|
|
workflow_dispatch:
|
2024-01-14 18:58:08 +01:00
|
|
|
push:
|
|
|
|
branches: [main]
|
|
|
|
paths:
|
2024-01-14 19:20:50 +01:00
|
|
|
- ./.github/workflows/deploy.yml # this workflow
|
2024-01-14 18:58:08 +01:00
|
|
|
- ./docs/** # Docs generation code
|
|
|
|
- ./options.nix # module options
|
|
|
|
# Nix files
|
|
|
|
- flake.lock
|
|
|
|
- flake.nix
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
build-website:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v3
|
|
|
|
- uses: DeterminateSystems/nix-installer-action@v9
|
|
|
|
- uses: DeterminateSystems/magic-nix-cache-action@v2
|
|
|
|
- name: Build documentation
|
2024-01-14 19:24:42 +01:00
|
|
|
run: nix build .#doc --print-build-logs
|
2024-01-14 18:58:08 +01:00
|
|
|
- name: Adjust permissions
|
|
|
|
run: |
|
|
|
|
chown -R "$(id -u):$(id -g)" ./result
|
|
|
|
chmod -R a+rwx ./result
|
|
|
|
- name: Upload artifact
|
|
|
|
uses: actions/upload-pages-artifact@v1
|
|
|
|
with:
|
|
|
|
path: ./result
|
|
|
|
deploy:
|
2024-01-14 18:59:38 +01:00
|
|
|
needs: build-website
|
2024-01-14 18:58:08 +01:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
permissions:
|
|
|
|
pages: write
|
|
|
|
id-token: write
|
|
|
|
environment:
|
|
|
|
name: github-pages
|
|
|
|
url: ${{ steps.deployment.outputs.page_url }}
|
|
|
|
steps:
|
|
|
|
- name: Deploy to GitHub Pages
|
|
|
|
id: deployment
|
|
|
|
uses: actions/deploy-pages@v2
|