Commit b148d98712fe0b520b7beb78466dbc3261ebf10b
Parent: 3ab41fd9996f7bc82446d5c75a58d053ebddf70e
Author: Matt Colligan <mcol@posteo.net>
Date: 2026-08-30 21:25:33 +0100
Committer: GitHub <noreply@github.com>
Committed: 2026-08-30 21:25:33 +0100

Stop deploying docs to GitHub Pages (#29)

* Stop deploying docs to GitHub Pages

gitja.mcol.xyz wasn't actually working, and the docs site isn't needed
there. Drop the "Generate docs" and "Deploy docs" CI steps that built
config.dhall against that domain and pushed to gh-pages on every push to
master.

Note: this stops future deployments, but doesn't retroactively remove
the existing gh-pages branch or its published site - if you want it
fully gone, also disable Pages in this repo's Settings (or delete the
gh-pages branch) after merging.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012RfZTyHvxLyVp4yaWmNvhN

* Keep doc generation as a CI smoke test

Renamed to make clear it's just verifying the generate command still
works, not producing anything that gets published. Dropped the ubuntu/push
restriction and the host sed swap that only made sense for the deploy
step, so this now runs on every OS/event like the rest of the job.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_012RfZTyHvxLyVp4yaWmNvhN

---------

Co-authored-by: Claude <noreply@anthropic.com>

@@ -36,16 +36,6 @@
       run: |
         bash test/test.sh
 
-    - name: Generate docs
-      if: matrix.os == 'ubuntu-latest' && github.event_name == 'push'
+    - name: Check doc generation works
       run: |
-        sed -i 's*http://localhost:8000*https://gitja.mcol.xyz*' config.dhall
         stack run -- -c ./config.dhall -q
-
-    - name: Deploy docs
-      if: matrix.os == 'ubuntu-latest' && github.event_name == 'push'
-      uses: JamesIves/github-pages-deploy-action@v4.4.1
-      with:
-        branch: gh-pages
-        folder: output
-          #clean: false