diff --git a/build-constraints.yaml b/build-constraints.yaml index 818fa737..d6e06249 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -8610,6 +8610,7 @@ skipped-tests: - chronos # 1.1.5.1 chronos-test: executable not found - do-list # 1.0.1 test: executable not found https://github.com/tserduke/do-list/issues/3 - incremental-parser # Main: executable not found + - quickcheck-state-machine # test: executable not found - streamt # executable not found # end of skipped-tests