From: Joe Taber <infogulch@gmail.com>
Date: Sun, 24 Sep 2023 02:43:51 +0000 (-0500)
Subject: Allow all jobs to run to completion even if one fails
X-Git-Tag: remove~86^2~2^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f03336b3a2a124107d16d86924c442196aabd2f9;p=scryer-prolog.git

Allow all jobs to run to completion even if one fails

See: https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#jobsjob_idstrategyfail-fast
---

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7ec3a051..786defb1 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -14,6 +14,7 @@ jobs:
   build-test:
     runs-on: ${{ matrix.os }}
     strategy:
+      fail-fast: false
       matrix:
         include:
           - { os: windows-latest, rust-version: stable,  shell: 'msys2 {0}', target: 'x86_64-pc-windows-gnu'}