diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-08-28 02:00:00 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-09-04 02:00:01 +0200 |
| commit | 13da331fa4497f0b0a22b3d27a41cd9d3e365408 (patch) | |
| tree | d14ca082edc204d91a14a35ffb623e12c70abae2 /bootstrap | |
| parent | ec16f88522041dc285a35705ff9ee95672b78143 (diff) | |
gnu: webkitgtk: Increase the CI time-out period.
* gnu/packages/webkit.scm (webkitgtk)[properties]:
Increase the TIMEOUT to 40 hours.
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions