IMO OSX CI is still worth it, techinically more important than linux ci, and a blocker on flipping over to jenkins