From: Mark Thom Date: Sun, 24 Sep 2023 06:44:33 +0000 (-0600) Subject: Merge pull request #2038 from infogulch/patch-1 X-Git-Tag: remove~86^2~2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=4be5fc6d43fd690abc1377f2e5150d5caeb52fc1;p=scryer-prolog.git Merge pull request #2038 from infogulch/patch-1 Allow all matrix ci jobs to run to completion even if one fails --- 4be5fc6d43fd690abc1377f2e5150d5caeb52fc1