From 9cce4662d9663dd550648a0d4ab9cec95b3214f6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20L=C3=A4ndle?=
 <969523+alaendle@users.noreply.github.com>
Date: Fri, 13 Sep 2024 12:35:07 +0200
Subject: [PATCH] Skip tests for `quickcheck-state-machine` - they run on my
 machine, but build server reports `executable not found`.

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

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