Revert "Debug with an ssh connection"

This reverts commit e9d7f46.
stanford-centaur · Feb 16, 2025 · 2157e15 · 2157e15
1 parent 0338bd4
commit 2157e15
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -79,9 +79,6 @@ 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