From 1379a13a24cf3870099aeaadb4816bc2e9c86321 Mon Sep 17 00:00:00 2001 From: Claude Date: Sun, 30 Aug 2026 20:22:32 +0000 Subject: [PATCH 1/2] 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 Claude-Session: https://claude.ai/code/session_012RfZTyHvxLyVp4yaWmNvhN --- .github/workflows/ci.yaml | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index b55eb0a..d79ff38 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -35,17 +35,3 @@ jobs: - name: Run tests run: | bash test/test.sh - - - name: Generate docs - if: matrix.os == 'ubuntu-latest' && github.event_name == 'push' - 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 From 6fff43b1df29809f669745b3da46caf38f8abb53 Mon Sep 17 00:00:00 2001 From: Claude Date: Sun, 30 Aug 2026 20:24:33 +0000 Subject: [PATCH 2/2] 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 Claude-Session: https://claude.ai/code/session_012RfZTyHvxLyVp4yaWmNvhN --- .github/workflows/ci.yaml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index d79ff38..22edee2 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -35,3 +35,7 @@ jobs: - name: Run tests run: | bash test/test.sh + + - name: Check doc generation works + run: | + stack run -- -c ./config.dhall -q