diff --git a/.github/workflows/build-distros.yml b/.github/workflows/build-distros.yml
index 30db7817..2ffd3c83 100644
--- a/.github/workflows/build-distros.yml
+++ b/.github/workflows/build-distros.yml
@@ -22,6 +22,7 @@ jobs:
     runs-on: ubuntu-latest
 
     strategy:
+      fail-fast: false
       matrix:
         tag:
           - arch-rolling              # Arch has its own recent GNAT and pacman
diff --git a/.github/workflows/build-native.yml b/.github/workflows/build-native.yml
index a7121050..2a888f7b 100644
--- a/.github/workflows/build-native.yml
+++ b/.github/workflows/build-native.yml
@@ -21,6 +21,7 @@ jobs:
     runs-on: ${{ matrix.os }}
 
     strategy:
+      fail-fast: false
       matrix:
         os:
           - macos-latest
diff --git a/.github/workflows/diff-release.yml b/.github/workflows/diff-release.yml
index 8d0612bd..5480d51c 100644
--- a/.github/workflows/diff-release.yml
+++ b/.github/workflows/diff-release.yml
@@ -51,6 +51,6 @@ jobs:
         toolchain: --disable-assistant # We don't need the compiler
         branch: master
 
-    - name: Diff releases
+    - name: <<DIFF RELEASES>>
       run: ${{env.CHECKS_REPO}}/scripts/diff-release.sh || true # No deal breaker if failed
       shell: bash