From 1074f248f3269e3a9b573ebdd86abaee0a7468e5 Mon Sep 17 00:00:00 2001 From: Dan Burton Date: Tue, 8 Jun 2021 13:38:35 -0400 Subject: [PATCH] expect poly tests to fail --- build-constraints.yaml | 2 ++ 1 file changed, 2 insertions(+) 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