Merge branch 'ci-type-checking' into 'main'

Add type-checking in CI

See merge request computing/gwdatafind/client!108

.gitlab-ci.yml

 include:
   # -- Python -------------------------
 
-  - component: $CI_SERVER_FQDN/computing/gitlab/components/python/all@1
+  - component: $CI_SERVER_FQDN/computing/gitlab/components/python/all@2
     inputs:
       code_quality_analyzer: ruff
       install_extra: "test"
       run_advanced_sast: true
+  - component: $CI_SERVER_FQDN/computing/gitlab/components/python/type-checking@2
 
   # -- Debian packaging ---------------
 
@@ -36,7 +37,7 @@ include:
 
   # -- Red Hat packaging --------------
 
-  - component: $CI_SERVER_FQDN/computing/gitlab/components/redhat/all@1
+  - component: $CI_SERVER_FQDN/computing/gitlab/components/redhat/all@2
     inputs:
       needs: [sdist]
       redhat_versions:

pyproject.toml

@@ -80,11 +80,24 @@ source = [
 ]
 
 [tool.coverage.report]
+exclude_lines = [
+  # ignore when asked
+  "pragma: no( |-)cover",
+  # don't complain about typing blocks
+  "if (typing\\.)?TYPE_CHECKING",
+]
 precision = 1
 
 [tool.coverage.run]
 source = ["gwdatafind"]
 
+[tool.mypy]
+check_untyped_defs = true
+exclude = [
+  "^docs/",
+]
+ignore_missing_imports = true
+
 [tool.pytest.ini_options]
 addopts = "-r a --color=yes"
 filterwarnings = [