Branch: refs/heads/master
Home: https://github.com/jenkinsci/jenkins
Commit: 21945e378fa1e42a64626651243ccf793a96f108
https://github.com/jenkinsci/jenkins/commit/21945e378fa1e42a64626651243ccf793a96f108
Author: Josh Soref <[email protected]>
Date: 2018-10-04 (Thu, 04 Oct 2018)
Changed paths:
M core/src/main/resources/jenkins/model/Jenkins/legend.properties
Log Message:
-----------
Drop fatally
Builds are either successful (in which case they are not red) or they are not
(in which case they are red).
There is no case where a build can be fatally successful, or not fatal and not
fail.
Commit: d2643c977e8cb6672aebf6fc43262aed1b88c7d0
https://github.com/jenkinsci/jenkins/commit/d2643c977e8cb6672aebf6fc43262aed1b88c7d0
Author: Oleg Nenashev <[email protected]>
Date: 2018-10-05 (Fri, 05 Oct 2018)
Changed paths:
M core/src/main/resources/jenkins/model/Jenkins/legend.properties
Log Message:
-----------
Merge pull request #3675 from jsoref/red-failed
Drop fatally
Compare:
https://github.com/jenkinsci/jenkins/compare/3b73c45f52eb...d2643c977e8c
**NOTE:** This service has been marked for deprecation:
https://developer.github.com/changes/2018-04-25-github-services-deprecation/
Functionality will be removed from GitHub.com on January 31st, 2019.
--
You received this message because you are subscribed to the Google Groups
"Jenkins Commits" 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.
