diff options
author | Holger Levsen <holger@layer-acht.org> | 2017-06-13 00:41:13 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-06-13 00:41:13 +0200 |
commit | e21898ad2379505d70db08f8f8e8991d84fc9668 (patch) | |
tree | d0318246f1f307fb6ff2989a020f19718a765ccf /debian/source | |
parent | c068756005c8f639917cb7bd302b66f47053da58 (diff) | |
download | jenkins.debian.net-e21898ad2379505d70db08f8f8e8991d84fc9668.tar.xz |
reproducible Debian: check node health every 15min
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'debian/source')
0 files changed, 0 insertions, 0 deletions