(status: RustVerificationStatus)
| 217 | } |
| 218 | |
| 219 | fn verification_status_label(status: RustVerificationStatus) -> String { |
| 220 | match status { |
| 221 | RustVerificationStatus::Passed => "passed", |
| 222 | RustVerificationStatus::Failed => "failed", |
| 223 | RustVerificationStatus::NeedsReview => "needs_review", |
| 224 | RustVerificationStatus::Skipped => "skipped", |
| 225 | } |
| 226 | .to_string() |
| 227 | } |
| 228 | |
| 229 | #[pyfunction] |
| 230 | fn format_verification_summary(py: Python<'_>, summary: &Bound<'_, PyAny>) -> PyResult<String> { |