Debug with an ssh connection

stanford-centaur · Feb 16, 2025 · e9d7f46 · e9d7f46
1 parent c428acd
commit e9d7f46
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -79,6 +79,9 @@ jobs:
       - name: Configure
         run: source ./.venv/bin/activate && ./configure.sh --${{ matrix.name }} --debug --python --smtlib-reader
 
+      - name: Setup tmate session
+        uses: mxschmitt/action-tmate@v3
+
       - name: Build
         run: |
           source ./.venv/bin/activate