attempting to debug

cedar-policy · Apr 25, 2024 · aab45b8 · aab45b8
1 parent 24e6d8d
commit aab45b8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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