From f9426cda3b68910abe4c75a27a8c62ec52bd38bd Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Sat, 16 Aug 2025 21:36:57 +0800
Subject: [PATCH] liquid-fixpoint testsuite fails outside git
 (ucsd-progsys/liquid-fixpoint#760)

---
 build-constraints.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 61cca194..143bdc8c 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -8902,6 +8902,7 @@ expected-test-failures:
     - katip-wai # 0.2.0.0
     - koji-tool
     - langchain-hs # assumes local HTTP endpoint
+    - liquid-fixpoint # assumes git checkout https://github.com/ucsd-progsys/liquid-fixpoint/issues/760
     - log # ElasticSearch
     - lsp-test # example: lsp-demo-reactor-server: createProcess: posix_spawnp: does not exist (No such file or directory)
     - lz4 # executable not found https://github.com/commercialhaskell/stackage/issues/6226