diff options
| author | John MacFarlane <[email protected]> | 2025-11-30 17:26:28 +0100 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-11-30 17:26:28 +0100 |
| commit | d6a6332729729b63b0d2a685ed929aef045b0645 (patch) | |
| tree | e11a554fbe6b29b56af46f8587bde3db2ad81614 /.github | |
| parent | 847e7d566f6e9bf7e29b2c419a74dfbe7e640f81 (diff) | |
CI: fail fast.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ebed0350e..751d8f413 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -43,7 +43,7 @@ jobs: runs-on: ubuntu-latest strategy: - fail-fast: false # for now + fail-fast: true matrix: versions: - ghc: '8.10' |