diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
index 3244f6104..6d636d439 100644
--- a/.github/workflows/deploy_docs.yml
+++ b/.github/workflows/deploy_docs.yml
@@ -39,6 +39,8 @@ jobs:
         working-directory: ./cedar-lean
         shell: bash
         run: source ~/.profile && lake -Kenv=dev build Cedar:docs
+      - name: Setup upterm session
+        uses: lhotari/action-upterm@v1
       - name: Move documentation to `docs/docs`
         run: |
               mkdir docs