Merge branch 'dev' into dev-scope

Author: montyly

.github/workflows/linter.yml

@@ -56,4 +56,5 @@ jobs:
           VALIDATE_DOCKERFILE_HADOLINT: false
           VALIDATE_EDITORCONFIG: false
           VALIDATE_JSCPD: false
+          VALIDATE_PYTHON_MYPY: false
           SHELLCHECK_OPTS: "-e SC1090"

setup.py

@@ -14,9 +14,7 @@
         # "crytic-compile>=0.1.13",
         "crytic-compile",
     ],
-    dependency_links=[
-        "git+https://github.com/crytic/crytic-compile.git@dev-compilation-units#egg=crytic-compile"
-    ],
+    dependency_links=["git+https://github.com/crytic/crytic-compile.git@master#egg=crytic-compile"],
     license="AGPL-3.0",
     long_description=open("README.md").read(),
     entry_points={