[ci]

misonijnik · Feb 20, 2024 · 648df0f · 648df0f
1 parent 39e00ae
commit 648df0f
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -9,6 +9,7 @@ on:
 
 # Defaults for building KLEE
 env:
+  BASE: /tmp
   BASE_IMAGE: ubuntu:jammy-20230126
   REPOSITORY: ghcr.io/klee
   BUILD_SUFFIX: "default"
@@ -140,10 +141,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