From 4622f79a2fdb7ec25ad4536b9a391f3fd7381aa9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=B4me?= <124148386+cathales@users.noreply.github.com>
Date: Wed, 3 Jan 2024 10:52:23 +0100
Subject: [PATCH] GitHub ci: enable debug in tests

---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 50f92f9dc8..1e8ace4a98 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -50,6 +50,7 @@ jobs:
         name: compiled-tools
     - name: Run Tests
       run: |
+          set -x
           tar xf tools.tar
           tar xf tmp.tar
           source verif/sim/setup-env.sh