diff --git a/.github/codecov.yml b/.github/codecov.yml
index 4895b05a1..15795e8ce 100644
--- a/.github/codecov.yml
+++ b/.github/codecov.yml
@@ -30,7 +30,7 @@ flag_management:
     - name: python
       paths:
         - "src/mqt/**/*.py"
-      after_n_builds: 10
+      after_n_builds: 11
       statuses:
         - type: project
           threshold: 0.5%
diff --git a/.github/workflows/cd.yml b/.github/workflows/cd.yml
index 81be9cf76..2729f1ffb 100644
--- a/.github/workflows/cd.yml
+++ b/.github/workflows/cd.yml
@@ -7,7 +7,7 @@ on:
 jobs:
   python-packaging:
     name: 🐍 Packaging
-    uses: cda-tum/mqt-core/.github/workflows/reusable-python-packaging.yml@v2.4.1
+    uses: cda-tum/mqt-core/.github/workflows/reusable-python-packaging.yml@v2.4.2
     with:
       setup-z3: true
 
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8d97e465c..42bba0f9e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -14,13 +14,13 @@ concurrency:
 jobs:
   change-detection:
     name: 🔍 Change
-    uses: cda-tum/mqt-core/.github/workflows/reusable-change-detection.yml@v2.4.1
+    uses: cda-tum/mqt-core/.github/workflows/reusable-change-detection.yml@v2.4.2
 
   cpp-tests:
     name: 🇨‌ Test
     needs: change-detection
     if: fromJSON(needs.change-detection.outputs.run-cpp-tests)
-    uses: cda-tum/mqt-core/.github/workflows/reusable-cpp-ci.yml@v2.4.1
+    uses: cda-tum/mqt-core/.github/workflows/reusable-cpp-ci.yml@v2.4.2
     secrets:
       token: ${{ secrets.CODECOV_TOKEN }}
     with:
@@ -30,7 +30,7 @@ jobs:
     name: 🇨‌ Lint
     needs: change-detection
     if: fromJSON(needs.change-detection.outputs.run-cpp-linter)
-    uses: cda-tum/mqt-core/.github/workflows/reusable-cpp-linter.yml@v2.4.1
+    uses: cda-tum/mqt-core/.github/workflows/reusable-cpp-linter.yml@v2.4.2
     with:
       setup-z3: true
 
@@ -38,7 +38,7 @@ jobs:
     name: 🐍 Test
     needs: change-detection
     if: fromJSON(needs.change-detection.outputs.run-python-tests)
-    uses: cda-tum/mqt-core/.github/workflows/reusable-python-ci.yml@v2.4.1
+    uses: cda-tum/mqt-core/.github/workflows/reusable-python-ci.yml@v2.4.2
     secrets:
       token: ${{ secrets.CODECOV_TOKEN }}
     with:
@@ -48,7 +48,7 @@ jobs:
     name: 📝 CodeQL
     needs: change-detection
     if: fromJSON(needs.change-detection.outputs.run-code-ql)
-    uses: cda-tum/mqt-core/.github/workflows/reusable-code-ql.yml@v2.4.1
+    uses: cda-tum/mqt-core/.github/workflows/reusable-code-ql.yml@v2.4.2
     with:
       setup-z3: true
 
diff --git a/extern/mqt-core b/extern/mqt-core
index 5f88f68bd..63051e8f6 160000
--- a/extern/mqt-core
+++ b/extern/mqt-core
@@ -1 +1 @@
-Subproject commit 5f88f68bdd4016eb242a3d3080766c90b009be6a
+Subproject commit 63051e8f6558f24f7d12baf6bae898c68cd620e3