diff --git a/build-constraints.yaml b/build-constraints.yaml index 765220ad..67e72365 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -6156,6 +6156,8 @@ expected-test-failures: - sbv + - poly + # end of expected-test-failures # Benchmarks which are known not to build. Note that, currently we do not run