diff --git a/tools/build_project.py b/tools/build_project.py index 9f377645..6c72b48a 100755 --- a/tools/build_project.py +++ b/tools/build_project.py @@ -10,6 +10,7 @@ import copy import json import shutil +import typing import hashlib import logging import pathlib