ci.yml

name: CI
on:
  push:
    branches:
      - main
      - assertion-tools
  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/reusable-change-detection.yml@v1.5.0

  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.5.0
    permissions:
      id-token: write # Explicitly allows the `id-token: write` permission for this job
      contents: read
    with:
      cmake-args: ""
      cmake-args-ubuntu: -G Ninja
      cmake-args-macos: -G Ninja -DMQT_CORE_WITH_GMP=ON
      cmake-args-windows: -T ClangCL

  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.5.0

  python-tests:
    name: 🐍 Test
    needs: change-detection
    permissions:
      id-token: write # Explicitly allows the `id-token: write` permission for this job
      contents: read
    if: fromJSON(needs.change-detection.outputs.run-python-tests)
    uses: cda-tum/mqt-workflows/.github/workflows/reusable-python-ci.yml@v1.5.0

  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.5.0

  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
    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,'
            }}
          jobs: ${{ toJSON(needs) }}