diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b466a9b3c..b0ed53ff3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,6 +4,7 @@ jobs: build: runs-on: ubuntu-latest strategy: + fail-fast: false # if one fails, do not cancel the other matrix: gambit-version: ['v4.9.3', 'master'] steps: