Skip to content

Commit

Permalink
CI: Exclude Windows GHC 8.10.7 job
Browse files Browse the repository at this point in the history
Resolves #1961, in the sense that the issue is now worked around.
  • Loading branch information
RyanGlScott committed Oct 16, 2023
1 parent 64d1fa6 commit edd15b1
Showing 1 changed file with 12 additions and 0 deletions.
12 changes: 12 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -96,6 +96,18 @@ jobs:
cabal: "3.10.1.0"
run-tests: true
hpc: true
exclude:
# We exclude the GHC 8.10.7 job on Windows, as it is known to suffer
# from a hard-to-diagnose memory-related issue that does not affect
# later versions of GHC on Windows. (See
# https://github.com/GaloisInc/saw-script/issues/1961.) When we drop
# support for 8.10 entirely from SAW's support Window, we can remove
# this part of the matrix entirely.
- os: windows-2019
ghc: "8.10.7"
cabal: "3.10.1.0"
run-tests: true
hpc: false
outputs:
cabal-test-suites-json: ${{ steps.cabal-test-suites.outputs.targets-json }}
steps:
Expand Down

0 comments on commit edd15b1

Please sign in to comment.