CI: do soledad migration during upgrade test