xamarin-macios

Граф коммитов

Автор	SHA1	Сообщение	Дата
Rolf Bjarne Kvinge	1457f8666d	[jenkins] Add support for specifying custom labels using a file. (#8549 ) This makes it possible to select what should be done on CI when building a commit on internal Jenkins (as opposed to when building a pull request, in which case labels can be set on the pull request).	2020-05-08 15:44:41 +02:00
Rolf Bjarne Kvinge	c993da4c3b	[jenkins] Fix scripts to be shellcheck-happy. (#4148 ) A few general categories of fixes: * Sprinkle lots of quotes everywhere. * Don't use environment variables in the format string to printf, instead pass them as arguments. * Don't use backticks to execute commands (it's deprecated), use the new "$(...)" syntax instead.	2018-05-29 11:03:54 -04:00
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

Автор

SHA1

Сообщение

Дата

Rolf Bjarne Kvinge

1457f8666d

[jenkins] Add support for specifying custom labels using a file. (#8549 )

This makes it possible to select what should be done on CI when building a
commit on internal Jenkins (as opposed to when building a pull request, in
which case labels can be set on the pull request).

2020-05-08 15:44:41 +02:00

Rolf Bjarne Kvinge

c993da4c3b

[jenkins] Fix scripts to be shellcheck-happy. (#4148 )

A few general categories of fixes:

* Sprinkle lots of quotes everywhere.
* Don't use environment variables in the format string to printf, instead pass them as arguments.
* Don't use backticks to execute commands (it's deprecated), use the new "$(...)" syntax instead.

2018-05-29 11:03:54 -04:00

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

3 Коммитов