2024-01-14 17:59:46 +01:00
|
|
|
name: Check flake
|
|
|
|
on:
|
|
|
|
push:
|
2024-02-02 14:59:13 +01:00
|
|
|
branches: [main]
|
2024-01-14 19:30:10 +01:00
|
|
|
path:
|
|
|
|
- ./**.nix
|
|
|
|
- ./flake.lock
|
2024-01-14 17:59:46 +01:00
|
|
|
pull_request:
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
check:
|
2024-07-29 09:52:42 +02:00
|
|
|
runs-on: ubuntu-latest
|
2024-01-14 17:59:46 +01:00
|
|
|
steps:
|
2024-02-02 15:13:08 +01:00
|
|
|
- uses: actions/checkout@v4
|
2024-07-29 15:47:05 +02:00
|
|
|
- uses: DeterminateSystems/nix-installer-action@v13
|
|
|
|
with:
|
|
|
|
source-url: "https://install.lix.systems/lix/lix-installer-x86_64-linux"
|
2024-08-18 13:02:18 +02:00
|
|
|
diagnostic-endpoint: ""
|
2024-07-04 00:25:43 +02:00
|
|
|
- uses: DeterminateSystems/magic-nix-cache-action@v7
|
2024-01-14 17:59:46 +01:00
|
|
|
- name: Run `nix flake check`
|
2024-05-20 14:14:11 +02:00
|
|
|
run: |
|
2024-07-29 09:52:42 +02:00
|
|
|
nix flake check --verbose --keep-going
|
2024-05-20 14:14:11 +02:00
|
|
|
nix run nixpkgs#statix -- check .
|
2024-07-29 15:47:05 +02:00
|
|
|
build-docs:
|
2024-02-18 16:51:03 +01:00
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2024-07-29 09:52:42 +02:00
|
|
|
- uses: actions/checkout@v4
|
|
|
|
- uses: DeterminateSystems/magic-nix-cache-action@v7
|
2024-07-29 15:47:05 +02:00
|
|
|
- uses: DeterminateSystems/nix-installer-action@v13
|
|
|
|
with:
|
|
|
|
source-url: "https://install.lix.systems/lix/lix-installer-x86_64-linux"
|
2024-08-18 13:02:18 +02:00
|
|
|
diagnostic-endpoint: ""
|
2024-07-29 09:52:42 +02:00
|
|
|
- name: Build documentation
|
|
|
|
run: nix build .#docs --print-build-logs
|
|
|
|
- name: Upload artifact
|
|
|
|
uses: actions/upload-pages-artifact@v3
|
|
|
|
with:
|
|
|
|
path: ./result
|
2024-07-29 15:47:05 +02:00
|
|
|
deploy-docs:
|
2024-02-18 16:51:03 +01:00
|
|
|
runs-on: ubuntu-latest
|
2024-07-29 15:47:05 +02:00
|
|
|
needs: build-docs
|
2024-02-18 17:04:46 +01:00
|
|
|
if: ${{ github.event_name == 'push' }} # only run on main branch
|
2024-02-18 16:51:03 +01:00
|
|
|
permissions:
|
|
|
|
pages: write
|
|
|
|
id-token: write
|
|
|
|
environment:
|
|
|
|
name: github-pages
|
|
|
|
url: ${{ steps.deployment.outputs.page_url }}
|
|
|
|
steps:
|
|
|
|
- name: Deploy to GitHub Pages
|
|
|
|
id: deployment
|
2024-03-09 00:05:05 +01:00
|
|
|
uses: actions/deploy-pages@v4
|