diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
index 7d938458e8..17431974c0 100644
--- a/.github/workflows/coq-alpine.yml
+++ b/.github/workflows/coq-alpine.yml
@@ -22,7 +22,7 @@ jobs:
 #        - alpine: 'latest-stable'
 
     runs-on: ubuntu-latest
-    name: ${{ matrix.alpine }}
+    name: alpine-${{ matrix.alpine }}
 
     concurrency:
       group: ${{ github.workflow }}-alpine-${{ matrix.alpine }}-${{ github.head_ref || github.run_id }}
diff --git a/.github/workflows/coq-debian.yml b/.github/workflows/coq-debian.yml
index a35a08f898..da68ea2285 100644
--- a/.github/workflows/coq-debian.yml
+++ b/.github/workflows/coq-debian.yml
@@ -23,7 +23,7 @@ jobs:
 
     runs-on: 'ubuntu-22.04'
     env: ${{ matrix.env }}
-    name: ${{ matrix.env.DEBIAN }}
+    name: debian-${{ matrix.env.DEBIAN }}
 
     concurrency:
       group: ${{ github.workflow }}-${{ matrix.env.DEBIAN }}-${{ github.head_ref || github.run_id }}
diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml
index ef546988c6..80e6b0322f 100644
--- a/.github/workflows/coq-docker.yml
+++ b/.github/workflows/coq-docker.yml
@@ -22,7 +22,7 @@ jobs:
 
     runs-on: ${{ matrix.os }}
     env: ${{ matrix.env }}
-    name: ${{ matrix.env.COQ_VERSION }}
+    name: docker-${{ matrix.env.COQ_VERSION }}
 
     concurrency:
       group: ${{ github.workflow }}-${{ matrix.env.COQ_VERSION }}-${{ github.head_ref || github.run_id }}
diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml
index d4e907b68e..7353f29c71 100644
--- a/.github/workflows/coq-macos.yml
+++ b/.github/workflows/coq-macos.yml
@@ -26,6 +26,8 @@ jobs:
       COQCHKEXTRAFLAGS: ""
       SKIP_BEDROCK2: "0"
 
+    name: macos
+
     steps:
     - uses: actions/checkout@v4
       with:
diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
index 92bae4e4b1..045ff4d6fa 100644
--- a/.github/workflows/coq-windows.yml
+++ b/.github/workflows/coq-windows.yml
@@ -18,6 +18,7 @@ jobs:
   build:
 
     runs-on: windows-latest
+    name: windows
 
     concurrency:
       group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}