From 4db28adf63a3ffcf1e6432215dd2a7e14551eab6 Mon Sep 17 00:00:00 2001 From: christopherngutierrez Date: Thu, 26 Jun 2025 10:30:54 -0700 Subject: [PATCH] Added mypy.ini. Fixes issues caused by missing path. --- mypy.ini | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 mypy.ini diff --git a/mypy.ini b/mypy.ini new file mode 100644 index 00000000..a20fbe73 --- /dev/null +++ b/mypy.ini @@ -0,0 +1,2 @@ +[mypy] +mypy_path=p-isa_tools/kerngen