Update our continuous integration machinery (#1889)