[ci]

misonijnik · Feb 20, 2024 · db7a2fd · db7a2fd
1 parent 39e00ae
commit db7a2fd
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -141,6 +141,10 @@ jobs:
       - name: Build KLEE
         env: ${{ matrix.env }}
         run: scripts/build/build.sh klee --docker --create-final-image
+      - name: Debugging with tmate
+        uses: mxschmitt/[email protected]
+        with:
+          limit-access-to-actor: true
       - name: Run tests
         env: ${{ matrix.env }}
         run: scripts/build/run-tests.sh --run-docker --debug