Re-add macOS CI
We had one, but it was too slow and unreliable. See cd47f8d8. Filing this so that we don’t forget about sorting out a better replacement.
Edited by Nirbheek Chauhan
We had one, but it was too slow and unreliable. See cd47f8d8. Filing this so that we don’t forget about sorting out a better replacement.