Revert "Stop checking out master in CI"

This reverts commit 57ea1423aed6a0a620329d502bc1a160005b8c10.