From 57356a4a633e44e2a9d4d4e2dc04188141ae955f Mon Sep 17 00:00:00 2001 From: Ruslan Kasheparov Date: Tue, 16 Jun 2026 13:29:07 +0200 Subject: [PATCH] verify: remove already implemented 'quiet' todo --- verify/src/main.rs | 1 - 1 file changed, 1 deletion(-) diff --git a/verify/src/main.rs b/verify/src/main.rs index c1d86f7e6..170a56477 100644 --- a/verify/src/main.rs +++ b/verify/src/main.rs @@ -19,7 +19,6 @@ use verify::versioned::{self, Status}; use verify::{method, model, reexports, ssot, Version}; // TODO: Enable running from any directory, currently errors if run from `src/`. -// TODO: Add a --quiet option. const VERSIONS: [Version; 15] = [ Version::V17,