Anyway, for now just think of it as a helpful reminder to run CI!