|
||||||||
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira |
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
You're using BUILD_ID for something other than identifying builds, which it is meant for. So sure, it was documented as being a time stamp, but it's not unencumbered with other uses.
The previous BUILD_ID format required tons of additional code and had several limitations, which have all been fixed by switching to build numbers. Looks like a compelling reason to me.
Neither going back to the old storage format, nor using a value for BUILD_ID which isn't actually the build ID, are sane options going forward IMO. A new variable should be easy to add, if maybe only in a plugin.