Commit 2e150e2e1c1d46109c657c8a57872e7c7b50410e
Parent: 05bf1c1636be72f8ce13da2a340ea305cce7f2fa
Author: mcol <mcol@posteo.net>
Date: 2023-01-22 22:38:37 -0600
Committer: mcol <mcol@posteo.net>
Committed: 2023-01-22 22:38:37 -0600

github CI gitserve -? gitja

.github/workflows/ci.yaml Modified

@@ -39,7 +39,7 @@
     - name: Generate docs
       if: matrix.os == 'ubuntu-latest' && github.event_name == 'push'
       run: |
-        sed -i 's*http://localhost:8000*https://gitserve.mcol.xyz*' config.dhall
+        sed -i 's*http://localhost:8000*https://gitja.mcol.xyz*' config.dhall
         stack run -- -c ./config.dhall -q
 
     - name: Deploy docs