From aab45b8f4779bea63491cbc9c22d740dbb9d66fb Mon Sep 17 00:00:00 2001
From: Kesha Hietala <khieta@amazon.com>
Date: Thu, 25 Apr 2024 12:09:55 -0400
Subject: [PATCH] attempting to debug

---
 .github/workflows/deploy_docs.yml | 2 ++
 1 file changed, 2 insertions(+)

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