Skip to content

⬆️πŸͺ Update pre-commit hook pre-commit/mirrors-clang-format to v19.1.4 #2459

⬆️πŸͺ Update pre-commit hook pre-commit/mirrors-clang-format to v19.1.4

⬆️πŸͺ Update pre-commit hook pre-commit/mirrors-clang-format to v19.1.4 #2459

Workflow file for this run

name: CI
on:
push:
branches:
- main
pull_request:
merge_group:
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
jobs:
change-detection:
name: πŸ” Change
uses: cda-tum/mqt-workflows/.github/workflows/[email protected]
cpp-tests:
name: πŸ‡¨β€Œ Test
needs: change-detection
if: fromJSON(needs.change-detection.outputs.run-cpp-tests)
uses: cda-tum/mqt-workflows/.github/workflows/[email protected]
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/[email protected]
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/[email protected]
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/[email protected]
with:
setup-z3: true
cd:
name: πŸš€ CD
needs: change-detection
if: fromJSON(needs.change-detection.outputs.run-cd)
uses: cda-tum/mqt-workflows/.github/workflows/[email protected]
with:
setup-z3: true
# 4.13.0 has incorrectly tagged manylinux wheels
z3-version: 4.12.6
required-checks-pass: # This job does nothing and is only used for branch protection
name: 🚦 Check
if: always()
needs:
- change-detection
- cpp-tests
- cpp-linter
- python-tests
- code-ql
- cd
runs-on: ubuntu-latest
steps:
- name: Decide whether the needed jobs succeeded or failed
uses: re-actors/alls-green@release/v1
with:
allowed-skips: >-
${{
fromJSON(needs.change-detection.outputs.run-cpp-tests)
&& '' || 'cpp-tests,'
}}
${{
fromJSON(needs.change-detection.outputs.run-cpp-linter)
&& '' || 'cpp-linter,'
}}
${{
fromJSON(needs.change-detection.outputs.run-python-tests)
&& '' || 'python-tests,'
}}
${{
fromJSON(needs.change-detection.outputs.run-code-ql)
&& '' || 'code-ql,'
}}
${{
fromJSON(needs.change-detection.outputs.run-cd)
&& '' || 'cd,'
}}
jobs: ${{ toJSON(needs) }}