2 Коммитов

Автор	SHA1	Сообщение	Дата
Rolf Bjarne Kvinge	e0cdd02423	[jenkins] Make it possible to skip API comparison by applying a label to a pull request. (#3994) ... Implement support for skipping API comparison by applying a label to a pull request. This also required some refactoring to move existing code to fetch the labels for a pull request to a separate script.	2018-04-27 09:05:50 +02:00
Rolf Bjarne Kvinge	9d2a886f86	[jenkins] Create comment file for PR builds. (#3799) ... * [jenkins] Create comment file for PR builds.	2018-04-02 14:49:03 +02:00