From eb99b7bdcc432c280201f7c6c9b010de99a6d6dc Mon Sep 17 00:00:00 2001
From: Danilo Pianini <danilo.pianini@unibo.it>
Date: Thu, 23 Nov 2023 16:58:57 +0100
Subject: [PATCH] Update build-and-deploy.yml

---
 .github/workflows/build-and-deploy.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build-and-deploy.yml b/.github/workflows/build-and-deploy.yml
index aa9fc3ce..f3d61070 100644
--- a/.github/workflows/build-and-deploy.yml
+++ b/.github/workflows/build-and-deploy.yml
@@ -25,8 +25,11 @@ jobs:
         os: [windows-2022, macos-12, ubuntu-22.04]
         jvm_version: ${{ fromJson(needs.compute-java-range.outputs.java-range) }}
         distribution: [ temurin ]
+    defaults:
+      run:
+        shell: bash
     concurrency:
-      group: ${{ github.workflow }}-build-${{ matrix.os }}-${{ matrix.jvm_version }}-${{ github.event.number || github.ref }}
+      group: ${{ github.workflow }}-build-${{ matrix }}-${{ github.event.number || github.ref }}
     runs-on: ${{ matrix.os }}-latest
     env:
       JAVA_VERSION: ${{ matrix.jvm_version }}
@@ -34,6 +37,8 @@ jobs:
       TERM: dumb
     steps:
       # Checkout the repository
+      - name: Debug: print the concurrency group
+        run: echo "${{ github.workflow }}-build-${{ matrix }}-${{ github.event.number || github.ref }}"
       - name: Checkout
         uses: danysk/action-checkout@0.2.14
         with: