| commit | f1d5d2201535612a8e80300ba9dfc5c49e27c4db | [log] [tgz] |
|---|---|---|
| author | Bence Szépkúti <bence.szepkuti@arm.com> | Tue Nov 08 12:02:30 2022 +0100 |
| committer | Bence Szépkúti <bence.szepkuti@arm.com> | Tue Nov 08 12:05:28 2022 +0100 |
| tree | f2980b36f3e6b23e4a95c98ccb5d75f6acc8afde | |
| parent | 8c51a48562e0a74c4aff20b2e3c7f3460f0117ff [diff] |
Fix NullPointerException during branch indexing The "properties" element is not optional. It also can't be an empty list, due to an apparent bug in jenkins job builder. Signed-off-by: Bence Szépkúti <bence.szepkuti@arm.com> Change-Id: Ia671a271f3d6c4c581de1251c9aae0e3d028cb37