⬆️ update mqt-workflows to 1.1.1 (#479)

## Description

This PR updates the mqt-workflows to their latest version. The only real
change is that the MQT Core update workflow now requires a token.
For the moment, the token being used is the regular GitHub token, which
means that the resulting PRs won't automatically trigger CI runs.

## Checklist:

<!---
This checklist serves as a reminder of a couple of things that ensure
your pull request will be merged swiftly.
-->

- [x] The pull request only contains commits that are related to it.
- [x] I have added appropriate tests and documentation.
- [x] I have made sure that all CI jobs on GitHub pass.
- [x] The pull request introduces no new warnings and follows the
project's style guidelines.

---------

Signed-off-by: burgholzer <burgholzer@me.com>

.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.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-packaging.yml@v1.1.3
     with:
       setup-z3: true
       z3-version: 4.12.6 # 4.13.0 has incorrectly tagged manylinux wheels

.github/workflows/ci.yml

@@ -14,37 +14,37 @@ concurrency:
 jobs:
   change-detection:
     name: 🔍 Change
-    uses: cda-tum/mqt-workflows/.github/workflows/reusable-change-detection.yml@v1.1.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-change-detection.yml@v1.1.3
 
   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.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-cpp-ci.yml@v1.1.3
     with:
       setup-z3: true
 
   cpp-linter:
     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.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-cpp-linter.yml@v1.1.3
     with:
       setup-z3: true
 
   python-tests:
     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.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-ci.yml@v1.1.3
     with:
       setup-z3: 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.1.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-code-ql.yml@v1.1.3
     with:
       setup-z3: true
 

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

@@ -4,11 +4,23 @@ on:
     # run once a month on the first day of the month at 00:00 UTC
     - cron: "0 0 1 * *"
   workflow_dispatch:
+    inputs:
+      update-to-head:
+        description: "Update to the latest commit on the default branch"
+        type: boolean
+        required: false
+        default: false
   pull_request:
     paths:
       - .github/workflows/update-mqt-core.yml
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 jobs:
   update-mqt-core:
     name: ⬆️ Update MQT Core
-    uses: cda-tum/mqt-workflows/.github/workflows/reusable-mqt-core-update.yml@v1.1.0
+    uses: cda-tum/mqt-workflows/.github/workflows/reusable-mqt-core-update.yml@v1.1.3
+    with:
+      update-to-head: ${{ github.event.inputs.update-to-head || false }}