Extend timeout, as CI can be very slow to start GAP

gap-system · Sep 4, 2023 · a116780 · a116780
1 parent 931c7dd
commit a116780
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dev/gaptest.expect b/dev/gaptest.expect
@@ -1,4 +1,4 @@
-set timeout 10
+set timeout 60
 
 # from https://serverfault.com/a/981762
 expect_before {