From 6176d37a0a870c90dff5ba696fa9da127d0facb8 Mon Sep 17 00:00:00 2001
From: Guillermo Perez <gpmayorga@users.noreply.github.com>
Date: Mon, 29 Apr 2024 17:13:22 +0200
Subject: [PATCH] slow down logs

---
 ci/run-check.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/run-check.sh b/ci/run-check.sh
index 1734d6044a..2d25335f86 100755
--- a/ci/run-check.sh
+++ b/ci/run-check.sh
@@ -39,6 +39,7 @@ case $TARGET in
           echo "Both build and dependency directories have been discovered."
           break
         fi
+        sleep 10
       else
         echo "Folder ./target not found"
         sleep 5