From a9adf17067a3b2d776597b31bbe10b06e764fa61 Mon Sep 17 00:00:00 2001
From: mariaKt <kotsifakou.maria@gmail.com>
Date: Tue, 7 Apr 2026 11:29:55 -0500
Subject: [PATCH] Increased timeout of Haskell Exec SMIR CI test

---
 .github/workflows/test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 9cd42fc1c..b19f8dbbe 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -65,7 +65,7 @@ jobs:
           - name: 'Haskell Exec SMIR'
             test-args: '-k "test_exec_smir and haskell"'
             parallel: 6
-            timeout: 20
+            timeout: 30
           - name: 'Haskell Termination'
             test-args: '-k test_prove_termination'
             parallel: 6