CI: use mac workers