diff options
author | Mattia Rizzolo <mattia@mapreri.org> | 2015-10-15 10:43:44 +0000 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2015-12-09 11:28:32 +0100 |
commit | a3722c8457f22264c8d2850925addffb01e40e94 (patch) | |
tree | 627c4b477fd238d2315710b9485a6e73be611105 /bin/d-i_manual.sh | |
parent | 058954f967672a719c930a783af3b23d97d632e2 (diff) | |
download | jenkins.debian.net-a3722c8457f22264c8d2850925addffb01e40e94.tar.xz |
reproducible: store in the db also the actual build host in stats_build, and rename the current "builder" field to "job", since it contains the jenkins job name and nummber
Diffstat (limited to 'bin/d-i_manual.sh')
0 files changed, 0 insertions, 0 deletions