From 8b4628e39b22d2126d01d41e315f2426b863a147 Mon Sep 17 00:00:00 2001
From: Christopher Pulte <cp526@cam.ac.uk>
Date: Wed, 17 Jul 2024 10:47:55 +0100
Subject: [PATCH] increase timeout, for handling
 https://github.com/rems-project/cerberus/pull/365#event-13497283175

---
 src/example-archive/check.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/example-archive/check.sh b/src/example-archive/check.sh
index c99cf6e2..2878ab60 100755
--- a/src/example-archive/check.sh
+++ b/src/example-archive/check.sh
@@ -45,7 +45,7 @@ check_file() {
   local expected_exit_code=$2
 
   printf "[$file]... "
-  timeout 10 $CN "$file" > /dev/null 2>&1
+  timeout 20 $CN "$file" > /dev/null 2>&1
   local result=$?
 
   if [ $result -eq $expected_exit_code ]; then