From db7a2fd20ec812265d929a487a91c3112099be4a Mon Sep 17 00:00:00 2001
From: Aleksandr Misonizhnik <misonijnik@gmail.com>
Date: Tue, 20 Feb 2024 14:49:15 +0100
Subject: [PATCH] [ci]

---
 .github/workflows/build.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 9330f0e410..2734262d37 100644
--- 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/action-tmate@v3.17
+        with:
+          limit-access-to-actor: true
       - name: Run tests
         env: ${{ matrix.env }}
         run: scripts/build/run-tests.sh --run-docker --debug