ui: refresh manifest even when compilation/verification fails