From f9b5c884c0307497970fc7b00375fda663db3c41 Mon Sep 17 00:00:00 2001 From: Jens Petersen Date: Sun, 6 Sep 2026 18:41:54 +0800 Subject: [PATCH] add what4-domains cc @fdedden --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index 6f3fad42..7d955d00 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -1896,6 +1896,7 @@ packages: - parameterized-utils - s-cargot - what4 + - what4-domains - zenc # copilot tests: - hedgehog-classes