From 9a7fcf45f63a09d8d347fc604992c67cc9988307 Mon Sep 17 00:00:00 2001 From: Lukas Burgholzer Date: Fri, 21 Jun 2024 16:29:42 +0200 Subject: [PATCH] =?UTF-8?q?=E2=AC=86=EF=B8=8F=20update=20mqt-workflows=20t?= =?UTF-8?q?o=201.1.1=20(#479)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ## 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: - [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 --- .github/workflows/cd.yml | 2 +- .github/workflows/ci.yml | 10 +++++----- .github/workflows/update-mqt-core.yml | 14 +++++++++++++- 3 files changed, 19 insertions(+), 7 deletions(-) diff --git a/.github/workflows/cd.yml b/.github/workflows/cd.yml index 7d6c53f4..46dc3317 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.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 diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 30f9f5e9..bcc180b5 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.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 @@ -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.0 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-cpp-linter.yml@v1.1.3 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.0 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-ci.yml@v1.1.3 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.0 + uses: cda-tum/mqt-workflows/.github/workflows/reusable-code-ql.yml@v1.1.3 with: setup-z3: true diff --git a/.github/workflows/update-mqt-core.yml b/.github/workflows/update-mqt-core.yml index c4927bcf..6a7c6371 100644 --- a/.github/workflows/update-mqt-core.yml +++ b/.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 }}