A convenience repo for our CI work