chore(deps): bump cda-tum/mqt-workflows from 1.4.0 to 1.4.4 in the gi…

…thub-actions group (#25)

* chore(deps): bump cda-tum/mqt-workflows in the github-actions group

Bumps the github-actions group with 1 update: [cda-tum/mqt-workflows](https://github.com/cda-tum/mqt-workflows).


Updates `cda-tum/mqt-workflows` from 1.4.0 to 1.4.4
- [Release notes](https://github.com/cda-tum/mqt-workflows/releases)
- [Commits](cda-tum/mqt-workflows@v1.4.0...v1.4.4)

---
updated-dependencies:
- dependency-name: cda-tum/mqt-workflows
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: github-actions
...

Signed-off-by: dependabot[bot] <support@github.com>

* chore: 🔒 Add `uv.lock` file

---------

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: DRovara <damian.rovara@tum.de>

.github/workflows/cd.yml

@@ -10,7 +10,7 @@ on:
 jobs:
   python-packaging:
     name: 🐍 Packaging
-    uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-packaging.yml@v1.4.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-packaging.yml@v1.4.4
 
   deploy:
     if: github.event_name == 'release' && github.event.action == 'published'

.github/workflows/ci.yml

@@ -14,13 +14,13 @@ concurrency:
 jobs:
   change-detection:
     name: 🔍 Change
-    uses: cda-tum/mqt-workflows/.github/workflows/reusable-change-detection.yml@v1.4.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-change-detection.yml@v1.4.4
 
   cpp-tests:
     name: 🇨‌ Test
     needs: change-detection
     if: fromJSON(needs.change-detection.outputs.run-cpp-tests)
-    uses: cda-tum/mqt-workflows/.github/workflows/reusable-cpp-ci.yml@v1.4.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-cpp-ci.yml@v1.4.4
     permissions:
       id-token: write # Explicitly allows the `id-token: write` permission for this job
     with:
@@ -33,23 +33,23 @@ jobs:
     name: 🇨‌ Lint
     needs: change-detection
     if: fromJSON(needs.change-detection.outputs.run-cpp-linter)
-    uses: cda-tum/mqt-workflows/.github/workflows/reusable-cpp-linter.yml@v1.4.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-cpp-linter.yml@v1.4.4
 
   python-tests:
     name: 🐍 Test
     needs: change-detection
     permissions:
       id-token: write # Explicitly allows the `id-token: write` permission for this job
     if: fromJSON(needs.change-detection.outputs.run-python-tests)
-    uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-ci.yml@v1.4.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-ci.yml@v1.4.4
     with:
       skip-testing-latest-python: true
 
   code-ql:
     name: 📝 CodeQL
     needs: change-detection
     if: fromJSON(needs.change-detection.outputs.run-code-ql)
-    uses: cda-tum/mqt-workflows/.github/workflows/reusable-code-ql.yml@v1.4.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-code-ql.yml@v1.4.4
 
   required-checks-pass: # This job does nothing and is only used for branch protection
     name: 🚦 Check

.github/workflows/update-mqt-core.yml

@@ -21,6 +21,6 @@ concurrency:
 jobs:
   update-mqt-core:
     name: ⬆️ Update MQT Core
-    uses: cda-tum/mqt-workflows/.github/workflows/reusable-mqt-core-update.yml@v1.4.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-mqt-core-update.yml@v1.4.4
     with:
       update-to-head: ${{ github.event.inputs.update-to-head == 'true' }}

.pre-commit-config.yaml

@@ -111,7 +111,7 @@ repos:
     rev: v2.3.0
     hooks:
       - id: codespell
-        args: ["-L", "wille,linz", "--skip", "*.ipynb"]
+        args: ["-L", "wille,linz,astroid", "--skip", "*.ipynb"]
 
   # Catch common capitalization mistakes
   - repo: local

pyproject.toml

@@ -32,7 +32,7 @@ classifiers = [
     "Topic :: Scientific/Engineering :: Electronic Design Automation (EDA)",
     "Typing :: Typed",
 ]
-requires-python = ">=3.8"
+requires-python = ">=3.9"
 dynamic = ["version"]
 
 [project.optional-dependencies]
@@ -156,7 +156,7 @@ report.exclude_also = [
 [tool.mypy]
 files = ["src/mqt", "test/python"]
 mypy_path = ["$MYPY_CONFIG_FILE_DIR/src"]
-python_version = "3.8"
+python_version = "3.9"
 warn_unused_configs = true
 enable_error_code = ["ignore-without-code", "redundant-expr", "truthy-bool"]
 strict = true

test/python/test_python_bindings.py

@@ -7,13 +7,16 @@
 
 import locale
 from pathlib import Path
-from typing import Generator, Tuple, cast
+from typing import TYPE_CHECKING, cast
 
 import pytest
 
 import mqt.debugger
 
-SimulationInstance = Tuple[mqt.debugger.SimulationState, int]
+if TYPE_CHECKING:
+    from collections.abc import Generator
+
+SimulationInstance = tuple[mqt.debugger.SimulationState, int]
 
 
 @pytest.fixture(scope="module")
@@ -69,7 +72,7 @@ def simulation_state_cleanup(
 
 def load_fixture(request: pytest.FixtureRequest, name: str) -> tuple[mqt.debugger.SimulationState, int]:
     """Loads a fixture with the given name."""
-    return cast(Tuple[mqt.debugger.SimulationState, int], request.getfixturevalue(name))
+    return cast(tuple[mqt.debugger.SimulationState, int], request.getfixturevalue(name))
 
 
 @pytest.mark.parametrize(