Deploy documentation to GitHub Pages

danieljtrowbridge · Oct 25, 2023 · 5bc212d · 5bc212d
1 parent fa00913
commit 5bc212d
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -13,7 +13,10 @@ on:
 jobs:
   ci:
     name: CI
-    uses: danieljtrowbridge/hs-config/.github/workflows/ci.yaml@main
+    permissions:
+      id-token: write
+      pages: write
+    uses: danieljtrowbridge/hs-config/.github/workflows/ci_docs.yaml@main
     with:
       ghc-version: 9.4.7
       package: th-base-functors