<div dir="ltr">Hi<div><br></div><div>The current build environment / Jenkins is not functioning properly and have been like this for some weeks. There is a new Jenkins environment up and running with daily builds.</div><div><br></div><div>The usual process of running the #build command on GitHub before merging a pull request does not result in a positive result anymore, since some machines are failing during the initial setup.</div><div><br></div><div>How should I proceed with merging the pull requests? It is good to run the build on as many machines as possible before merging. Or should I just use the travis build and then merge and wait for the daily build?</div><div><br></div><div>// Rickard</div></div>