Fix MyPy error in CLI

TIM-JYU · Aug 4, 2023 · e066001 · e066001
1 parent a676851
commit e066001
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/cli/commands/dev/build.py b/cli/commands/dev/build.py
@@ -30,6 +30,7 @@
 def build_tim(
     tag: Optional[str], no_cache: bool, build_args: List[str]
 ) -> Optional[List[str]]:
+    assert tag is not None
     config = get_config()
     image_suffix = "-base" if tag == "base" else ""
     image_name = f"{config.images_repository}/tim{image_suffix}"