diff --git a/.github/workflows/cd.yml b/.github/workflows/cd.yml index 71beb10b..40219200 100644 --- a/.github/workflows/cd.yml +++ b/.github/workflows/cd.yml @@ -17,7 +17,7 @@ jobs: # whether the workflow is triggered from a PR, a push to main, or a release, respectively. python-packaging: name: 🐍 Packaging - uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-packaging.yml@v1.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-packaging.yml@v1.5 with: # Do not include local version information on pushes to main to facilitate TestPyPI uploads. no-local-version: ${{ github.ref == 'refs/heads/main' && github.event_name == 'push' }} diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index fa1f9800..ae00195d 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.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-change-detection.yml@v1.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.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-cpp-ci.yml@v1.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.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-cpp-linter.yml@v1.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.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-ci.yml@v1.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.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-code-ql.yml@v1.5 with: setup-z3: true @@ -52,7 +52,7 @@ jobs: name: 🚀 CD needs: change-detection if: fromJSON(needs.change-detection.outputs.run-cd) - uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-packaging.yml@v1.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-packaging.yml@v1.5 with: setup-z3: true # 4.13.0 has incorrectly tagged manylinux wheels diff --git a/.github/workflows/update-mqt-core.yml b/.github/workflows/update-mqt-core.yml index 28ad5487..2ca8dbec 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.4 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-mqt-core-update.yml@v1.5 with: update-to-head: ${{ github.event.inputs.update-to-head == 'true' }}