guix-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

02/08: gnu: webkitgtk: Increase the CI time-out period.


From: guix-commits
Subject: 02/08: gnu: webkitgtk: Increase the CI time-out period.
Date: Mon, 5 Sep 2022 09:04:37 -0400 (EDT)

nckx pushed a commit to branch master
in repository guix.

commit 13da331fa4497f0b0a22b3d27a41cd9d3e365408
Author: Tobias Geerinckx-Rice <me@tobias.gr>
AuthorDate: Sun Aug 28 02:00:00 2022 +0200

    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(+)

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,



reply via email to

[Prev in Thread] Current Thread [Next in Thread]