me
/
guix
Archived
1
0
Fork 0

gnu: webkitgtk: Increase the CI time-out period.

* gnu/packages/webkit.scm (webkitgtk)[properties]:
Increase the TIMEOUT to 40 hours.
master
Tobias Geerinckx-Rice 2022-08-28 02:00:00 +02:00
parent ec16f88522
commit 13da331fa4
No known key found for this signature in database
GPG Key ID: 0DB0FF884F556D79
1 changed files with 1 additions and 0 deletions

View File

@ -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,