From 5bc212da0f1f474402e42d838b59a283deb4d797 Mon Sep 17 00:00:00 2001
From: Daniel Trowbridge <danieljtrowbridge@pm.me>
Date: Wed, 25 Oct 2023 13:13:32 +0100
Subject: [PATCH] Deploy documentation to GitHub Pages

---
 .github/workflows/ci.yaml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index ebc6c7b..b93730f 100644
--- 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