diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index b55eb0a..22edee2 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -36,16 +36,6 @@ jobs:
       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