diff --git a/.github/workflows/cd.yml b/.github/workflows/cd.yml index 0bf37ea3e..a27740897 100644 --- a/.github/workflows/cd.yml +++ b/.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.1.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-packaging.yml@v1.1.5 with: setup-z3: true z3-version: 4.12.6 # 4.13.0 has incorrectly tagged manylinux wheels diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 14664f0f2..c38de0708 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-workflows/.github/workflows/reusable-change-detection.yml@v1.1.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-change-detection.yml@v1.1.5 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.1.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-cpp-ci.yml@v1.1.5 with: setup-z3: true @@ -28,7 +28,7 @@ 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.1.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-cpp-linter.yml@v1.1.5 with: setup-z3: true @@ -36,7 +36,7 @@ jobs: name: 🐍 Test needs: change-detection if: fromJSON(needs.change-detection.outputs.run-python-tests) - uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-ci.yml@v1.1.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-ci.yml@v1.1.5 with: setup-z3: true @@ -44,7 +44,7 @@ jobs: 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.1.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-code-ql.yml@v1.1.5 with: setup-z3: true diff --git a/.github/workflows/update-mqt-core.yml b/.github/workflows/update-mqt-core.yml index 6ed788f30..a76522eae 100644 --- a/.github/workflows/update-mqt-core.yml +++ b/.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.1.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-mqt-core-update.yml@v1.1.5 with: update-to-head: ${{ fromJSON(github.event.inputs.update-to-head) || false }}