pub fn ci_check( store: &Store, violations: &[InvariantViolation], max_severity: &str, ) -> Result<(bool, Vec<String>)>