From edd15b165ca5f4ed6e4878d8e44122825f7ee51e Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 16 Oct 2023 10:56:43 -0400 Subject: [PATCH] CI: Exclude Windows GHC 8.10.7 job Resolves #1961, in the sense that the issue is now worked around. --- .github/workflows/ci.yml | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2c302914c8..d20581719e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -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: