From 000cd0a05ace89d75c38b1aed980dbc5089a9324 Mon Sep 17 00:00:00 2001
From: Richard Brooksby <rb@ravenbrook.com>
Date: Tue, 26 Nov 2024 16:33:39 +0000
Subject: [PATCH] Tell github not to cancel builds in the posix matrix when one
 of them fails.

---
 mps/.github/workflows/build-and-test.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/mps/.github/workflows/build-and-test.yml b/mps/.github/workflows/build-and-test.yml
index 64d445586a2..0f0473aca36 100644
--- a/mps/.github/workflows/build-and-test.yml
+++ b/mps/.github/workflows/build-and-test.yml
@@ -33,6 +33,7 @@ jobs:
     # See <https://docs.github.com/en/actions/using-jobs/using-a-matrix-for-your-jobs#using-a-matrix-strategy>.
     
     strategy:
+      fail-fast: false # don't cancel all builds when one build fails
       matrix:
         os: [ubuntu-latest, macos-latest]
         compiler: [clang, gcc]