Because KK doesn't trust the code signing keys outside of his personal hardware. I think he may run Jenkins on his personal hardware to actually cut the release, but it is not a public accessible Jenkins.
On Friday, 1 November 2013, Hyunil Shin wrote: > Thank you~ > > Manual build!!! > It's a little bit amazing.. ^^ > > > On Thursday, October 31, 2013 7:01:31 PM UTC+9, Robert Sandell wrote: >> >> I’m quite sure that all releases are manually built by Kohsuke, so there >> is no build number to identify. >> >> >> >> * * >> >> *Robert Sandell* >> >> Software Tools Engineer - SW Environment and Product Configuration >> >> Sony Mobile Communications >> >> >> >> *From:* [email protected] [mailto:jenkin...@**googlegroups.com] >> *On Behalf Of *Hyunil Shin >> *Sent:* den 31 oktober 2013 10:33 >> *To:* [email protected] >> *Subject:* Identify Jenkins Build Number >> >> >> >> Hello >> >> >> >> It's very simple question. >> >> >> >> How can I identify the build number (in Jenkins ci) which is used to >> generate jenkins.war? >> >> For example, what is build number of jenkins.war-1.533? >> >> >> >> Thank you~ >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Jenkins Developers" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to jenkinsci-de...@**googlegroups.com. >> For more options, visit >> https://groups.google.com/**groups/opt_out<https://groups.google.com/groups/opt_out> >> . >> > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected] <javascript:_e({}, > 'cvml', 'jenkinsci-dev%[email protected]');>. > For more options, visit https://groups.google.com/groups/opt_out. > -- Sent from my phone -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
