diff options
| author | Christopher Baines <mail@cbaines.net> | 2020-05-24 08:39:55 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2020-05-24 08:39:55 +0100 |
| commit | 728e384197e581326d049ed609851877d59aa826 (patch) | |
| tree | e27d3e2a10757c271345c03a4e0c762e437843a7 | |
| parent | d6739ebc2d7db652d1837697d077723ea2994ffd (diff) | |
| download | build-coordinator-728e384197e581326d049ed609851877d59aa826.tar build-coordinator-728e384197e581326d049ed609851877d59aa826.tar.gz | |
Increase waiting time for log files
| -rw-r--r-- | guix-build-coordinator/agent.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/guix-build-coordinator/agent.scm b/guix-build-coordinator/agent.scm index 221a6f2..19ea7c8 100644 --- a/guix-build-coordinator/agent.scm +++ b/guix-build-coordinator/agent.scm @@ -81,7 +81,7 @@ (assoc-ref build "uuid") log-file))) #:times 6 - #:delay 10) + #:delay 30) ((if result post-build-success post-build-failure) |