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
..
__init__.py	Report dequeued changes via Github checks API	2020-05-14 07:42:24 +02:00