diff options
Diffstat (limited to 'gnu/ci.scm')
| -rw-r--r-- | gnu/ci.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/ci.scm b/gnu/ci.scm index 858b6bf520..736a133fc4 100644 --- a/gnu/ci.scm +++ b/gnu/ci.scm @@ -234,7 +234,7 @@ passing the PERIOD argument." system.") (license . ,(license-name gpl3+)) (period . ,(hours 48)) - (max-silent-time . 600) + (max-silent-time . 3600) (timeout . 3600) (home-page . ,%guix-home-page-url) (maintainers . ("bug-guix@gnu.org")))) @@ -349,7 +349,7 @@ system.") (long-description . ,(system-test-description test)) (license . ,(license-name gpl3+)) (period . ,(hours 48)) - (max-silent-time . 600) + (max-silent-time . 3600) (timeout . 3600) (home-page . ,%guix-home-page-url) (maintainers . ("bug-guix@gnu.org"))))) |