add cases and fix CI