Fix up CI documentation.