Ci before upgrading prelude