diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-12-28 22:36:38 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-29 01:05:17 +0100 |
commit | dd8356e3c6a27b4d6655a3d0aea2d52410f6edc4 (patch) | |
tree | a853a9bf8516f825fe3f98ef833f5b62af98990d /release.nix | |
parent | e4231cfeeae16352e76ccdbeebe67e17da7262c4 (diff) | |
download | patches-dd8356e3c6a27b4d6655a3d0aea2d52410f6edc4.tar patches-dd8356e3c6a27b4d6655a3d0aea2d52410f6edc4.tar.gz |
hydra: Use short timeouts for the QEMU jobs and system tests.
These builds shouldn't take too long. Sometimes the guest kernel
crashes and the VM gets stuck; we should be able to terminate those jobs
quickly.
* build-aux/hydra/gnu-system.scm (qemu-jobs)[->alist]: Add
'max-silent-time' and 'timeout'.
(system-test-jobs)[test->thunk]: Likewise.
Diffstat (limited to 'release.nix')
0 files changed, 0 insertions, 0 deletions