From 13da331fa4497f0b0a22b3d27a41cd9d3e365408 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Sun, 28 Aug 2022 02:00:00 +0200
Subject: gnu: webkitgtk: Increase the CI time-out period.

* gnu/packages/webkit.scm (webkitgtk)[properties]:
Increase the TIMEOUT to 40 hours.
---
 gnu/packages/webkit.scm | 1 +
 1 file changed, 1 insertion(+)

(limited to 'gnu')

diff --git a/gnu/packages/webkit.scm b/gnu/packages/webkit.scm
index 7f9610149d..6ef3eb456c 100644
--- a/gnu/packages/webkit.scm
+++ b/gnu/packages/webkit.scm
@@ -261,6 +261,7 @@ engine that uses Wayland for graphics output.")
            woff2
            wpebackend-fdo
            xdg-dbus-proxy))
+    (properties '((timeout . 144000)))  ; 40 hours, most notably for aarch64
     (home-page "https://www.webkitgtk.org/")
     (synopsis "Web content engine for GTK+")
     (description "WebKitGTK+ is a full-featured port of the WebKit rendering engine,
-- 
cgit v1.2.3