timing

hauntsaninja · Oct 24, 2024 · e392347 · e392347
1 parent bea62cb
commit e392347
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mypy_primer/main.py b/mypy_primer/main.py
@@ -210,7 +210,7 @@ async def measure_project_runtimes() -> None:
 
     if ARGS.type_checker == "mypy":
         type_checker_exe = await setup_mypy(
-            ARGS.base_dir / "timer_mypy",
+            ARGS.base_dir / f"timer_mypy_{ARGS.new}",
             ARGS.new or RECENT_MYPYS[0],
             repo=ARGS.repo,
             mypyc_compile_level=ARGS.mypyc_compile_level,