From fc93d898499584ea66fa5f9b1b3fb5cd2407c581 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20L=C3=A4ndle?= <alaendle@users.noreply.github.com>
Date: Thu, 22 Jun 2023 17:03:53 +0200
Subject: [PATCH] Disabled `polysemy-webserver` (#7017).

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index d3b34235..4f807674 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -4868,7 +4868,7 @@ packages:
         - valida-base
 
     "Andrew Miller <andrew@amxl.com> @A1kmm":
-        - polysemy-webserver
+        - polysemy-webserver < 0 # 0.2.1.1 # fails to compile (#7017)
 
     "Simon Shine <shreddedglory@gmail.com> @sshine":
         - evm-opcodes