|
||||||||
|
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 [email protected].
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.