Skip to content

Commit f9426cd

Browse files
committed
liquid-fixpoint testsuite fails outside git (ucsd-progsys/liquid-fixpoint#760)
1 parent 330ae18 commit f9426cd

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

build-constraints.yaml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -8902,6 +8902,7 @@ expected-test-failures:
89028902
- katip-wai # 0.2.0.0
89038903
- koji-tool
89048904
- langchain-hs # assumes local HTTP endpoint
8905+
- liquid-fixpoint # assumes git checkout https://github.com/ucsd-progsys/liquid-fixpoint/issues/760
89058906
- log # ElasticSearch
89068907
- lsp-test # example: lsp-demo-reactor-server: createProcess: posix_spawnp: does not exist (No such file or directory)
89078908
- lz4 # executable not found https://github.com/commercialhaskell/stackage/issues/6226

0 commit comments

Comments
 (0)