Actually, I hope that Sven will have some time one day to make the build server work anew so that I won't have to configure another system of continuous integration. Travis' website doesn't work in my web browser (Mozilla Firefox 60 ESR).

By the way, I think that I will take care of other contributions first and go back to the bug 1357 later.

Edit.: I can't use Travis, it's hosted on Github which I plan to leave, it seems to be bound to Github somehow and its current outages don't reassure me :s