Bump extern/mqt-core from 5f88f68 to 8fbfaa5 in the submodules gr…

…oup (#449)
cda-tum · May 5, 2024 · 7a12f9a · 7a12f9a
1 parent 42a2611
commit 7a12f9a
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git 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
@@ -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
@@ -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,15 +30,15 @@ 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
 
   python-tests:
     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
+1 −1		.github/codecov.yml
+1 −4		.github/workflows/reusable-python-ci.yml
+4 −4		.pre-commit-config.yaml
+9 −9		README.md
+0 −1,120		docs/_static/erc_dark.svg
+0 −1,125		docs/_static/erc_light.svg
+0 −60		docs/_static/logo-bavaria.svg
+0 −2		docs/_static/logo-mqv.svg
+0 −130		docs/_static/tum_dark.svg
+0 −130		docs/_static/tum_light.svg
+22 −7		docs/_templates/page.html
+1 −1		docs/index.md
+1 −1		eval/eval_dd_package.cpp
+2 −1		include/mqt-core/dd/ComplexNumbers.hpp
+3 −3		include/mqt-core/operations/Expression.hpp
+3 −3		include/mqt-core/zx/Utils.hpp