Re: New pull request builders

[Andrew Phillips]

If there are no objections, the switch to the new builders will be
made this week.

No objections from me. Thanks for getting this set up, Ignasi!

ap