From 83925144a10d34cc54f540b4fd94b1858a3b4b00 Mon Sep 17 00:00:00 2001
From: Adam Bergmark <adam@bergmark.nl>
Date: Sun, 7 Sep 2025 11:29:34 +0200
Subject: [PATCH] expect thyme tests to fail

---
 build-constraints.yaml | 1 +
 1 file changed, 1 insertion(+)

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