From 8f5d27de1a231efa116cded7c4f525efa1c0f441 Mon Sep 17 00:00:00 2001
From: Alfredo Correa <alfredo.correa@gmail.com>
Date: Mon, 10 Mar 2025 15:25:34 -0700
Subject: [PATCH] more timeout

---
 .gitlab-ci-correaa.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci-correaa.yml b/.gitlab-ci-correaa.yml
index 1a1479fcd..153682d66 100644
--- a/.gitlab-ci-correaa.yml
+++ b/.gitlab-ci-correaa.yml
@@ -235,7 +235,7 @@ clang++-16 mull-16:  # mull-17 crashes
     - cmake --build . --parallel 2 || cmake --build . --parallel 1 --verbose
     # - ctest -j 2 --output-on-failure
     - cd test
-    - ls *.x | xargs -n 1 sh -c 'echo $0 && ((mull-runner-16 --timeout 10000 --ld-search-path=/usr/lib/x86_64-linux-gnu $0 -test-program=ctest -- -j2 --stop-on-failure) || exit 255)'
+    - ls *.x | xargs -n 1 sh -c 'echo $0 && ((mull-runner-16 --timeout 20000 --ld-search-path=/usr/lib/x86_64-linux-gnu $0 -test-program=ctest -- -j2 --stop-on-failure) || exit 255)'
   needs: ["clang++"]
 
 # deb: