summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStefan Weigl-Bosker <stefan@s00.xyz>2026-02-19 13:57:20 -0500
committerGitHub <noreply@github.com>2026-02-19 13:57:20 -0500
commit3d7f8b73563901b66424394fcd93ace848143c8a (patch)
tree29f2f98f3d244071feed2bb10347a3443ecb07e3
parentefa928b3d1c4acc1d3a4414877724992cfad4f0c (diff)
downloadcompiler-3d7f8b73563901b66424394fcd93ace848143c8a.tar.gz
[repo]: doxygen workflow (#11)
-rw-r--r--.github/workflows/docs.yml50
1 files changed, 50 insertions, 0 deletions
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
new file mode 100644
index 0000000..cac9292
--- /dev/null
+++ b/.github/workflows/docs.yml
@@ -0,0 +1,50 @@
+name: Generate Docs
+
+on:
+ push:
+ branches: [main, master]
+ workflow_dispatch: {}
+
+permissions:
+ contents: read
+ pages: write
+ id-token: write
+
+concurrency:
+ group: pages
+ cancel-in-progress: true
+
+jobs:
+ build:
+ runs-on: ubuntu-latest
+ steps:
+ - name: Checkout
+ uses: actions/checkout@v4
+
+ - name: Install Nix
+ uses: cachix/install-nix-action@v27
+ with:
+ extra_nix_config: |
+ experimental-features = nix-command flakes
+
+ - name: Generate Doxygen
+ run: |
+ nix develop ./nix --command \
+ doxygen willow/docs/doxygen/Doxyfile
+
+ - name: Upload Pages artifact
+ uses: actions/upload-pages-artifact@v3
+ with:
+ path: out/doxygen/willow/html
+
+ deploy:
+ environment:
+ name: github-pages
+ url: ${{ steps.deployment.outputs.page_url }}
+ runs-on: ubuntu-latest
+ needs: build
+ steps:
+ - name: Deploy to GitHub Pages
+ id: deployment
+ uses: actions/deploy-pages@v4
+