tree e9a96337e36a9a5b14466819e633e8cbc572a24d
parent 189d3fda8acc35c1f297768935d9e0649b467a39
author Luca Milanesio <luca.milanesio@gmail.com> 1588085506 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1588099892 +0100

Look for successful builds of plugins without a stable branch

Fix a problem with the logic of the auto-generation of the
plugins page: if a plugin doesn't have a stable branch it should
still look for a successful build.

Bug: Issue 12658
Change-Id: I039e82d4d853c585fe74c07b9dcb27c678e7ba03