From a3657188b63d20b33f6770552169a473f021228f Mon Sep 17 00:00:00 2001 From: mo8it Date: Thu, 4 Jul 2024 20:28:46 +0200 Subject: [PATCH] Check for missing TODO comments --- src/dev/check.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/dev/check.rs b/src/dev/check.rs index 5074c133..29b2b670 100644 --- a/src/dev/check.rs +++ b/src/dev/check.rs @@ -92,6 +92,10 @@ fn check_info_file_exercises(info_file: &InfoFile) -> Result