[ci]

misonijnik · Feb 20, 2024 · fde0f2a · fde0f2a
1 parent 39e00ae
commit fde0f2a
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -140,10 +140,14 @@ jobs:
           submodules: recursive
       - name: Build KLEE
         env: ${{ matrix.env }}
-        run: scripts/build/build.sh klee --docker --create-final-image
+        run: scripts/build/build.sh klee
+      - 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
+        run: scripts/build/run-tests.sh --debug
 
   macOS:
     runs-on: macos-latest