diff options
| author | Mattia Rizzolo <mattia@debian.org> | 2017-11-04 23:47:09 +0100 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@debian.org> | 2017-11-04 23:47:11 +0100 |
| commit | 34cad7b14a8a0bc9fcd51456bc56bfc36f6efbc7 (patch) | |
| tree | 58adf8c44ddbd97fa4b5d18d4c435b7d97396040 /README.infrastructure | |
| parent | 830badd0a2467421ebac51a8410bcfdba8e1188d (diff) | |
| download | jenkins.debian.net-34cad7b14a8a0bc9fcd51456bc56bfc36f6efbc7.tar.xz | |
reproducible archlinux: disable the timer for the builders, while still in WIP we don't need it to run every minute
Signed-off-by: Mattia Rizzolo <mattia@debian.org>
Diffstat (limited to 'README.infrastructure')
0 files changed, 0 insertions, 0 deletions