diff --git a/build-constraints.yaml b/build-constraints.yaml index 347c8cd9..b0277c5e 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -6106,9 +6106,6 @@ expected-test-failures: - sbv - poly - - # https://github.com/dschrempf/elynx/issues/2 - - elynx-markov # end of expected-test-failures # Benchmarks which are known not to build. Note that, currently we do not run