From 584923bf74e3b8ffde082c228e717225df2352f9 Mon Sep 17 00:00:00 2001
From: Alejandro R Mosteo <amosteo@unizar.es>
Date: Tue, 20 Jun 2023 17:54:52 +0200
Subject: [PATCH] Don't abort checks on other environments on failure (#831)

---
 .github/workflows/build-distros.yml | 1 +
 .github/workflows/build-native.yml  | 1 +
 .github/workflows/diff-release.yml  | 2 +-
 3 files changed, 3 insertions(+), 1 deletion(-)

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