allow what4 testsuite to fail (GaloisInc/what4#262)

commercialhaskell · May 14, 2024 · 95ab6e4 · 95ab6e4
1 parent 41f4bc9
commit 95ab6e4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/build-constraints/lts-22-build-constraints.yaml b/build-constraints/lts-22-build-constraints.yaml
@@ -9043,6 +9043,7 @@ expected-test-failures:
     - vivid-osc
     - wai-extra # https://github.com/yesodweb/wai/issues/886
     - wakame
+    - what4 # https://github.com/GaloisInc/what4/issues/262
     - world-peace
     - xml-picklers # https://github.com/Philonous/xml-picklers/issues/5
     - xmlbf