a0aa48465b
Fix generator diff after .NET modifications. ( #8180 )
...
* Some files were renamed after the .NET support was implemented, so the list
of files to ignore for the diff had to be updated.
* Update .gitignore.
2020-03-24 15:52:03 +01:00
215bda500e
Show better error when the mono archive isn't available. Fixes xamarin-macios/maccore#1655. ( #6155 )
...
* Show better error when the mono archive isn't available. Fixes xamarin-macios/maccore#1655 .
Fixes https://github.com/xamarin/maccore/issues/1655 .
* [jenkins] Show better build failure in the build report PR comment.
2019-05-29 05:57:49 -07:00
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
9d2a886f86
[jenkins] Create comment file for PR builds. ( #3799 )
...
* [jenkins] Create comment file for PR builds.
2018-04-02 14:49:03 +02:00
Rolf Bjarne Kvinge