Felix Edel af2c919ca7 Report dequeued changes via Github checks API ...

This patch provides the general functionality to allow reporting of
dequeued items and makes use of that in the Github checks API.
This reporting will only apply if the item wasn't a success or failure.

Change-Id: I1297da4d1708908c6b179110479fe0450e5550fe

2020-05-14 07:42:24 +02:00

232 B

Raw Blame History

View Raw