diff --git a/build-constraints.yaml b/build-constraints.yaml index 3e9805e1..b46450d5 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -8672,6 +8672,7 @@ skipped-tests: # general failures - aern2-mp # https://github.com/michalkonecny/aern2/issues/11 + - thyme # quickcheck flakiness # ??? - chronos # 1.1.6.2 chronos-test: executable not found