1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
From: Kyle Robbertze <kyle@paddatrapper.com>
Date: Tue, 7 Jan 2025 08:03:01 +0000
Subject: Disable experimental tests
Forwarded: not-needed
---
src/dynlink/dune | 1 +
1 file changed, 1 insertion(+)
diff --git a/src/dynlink/dune b/src/dynlink/dune
index 3714cef..d062935 100644
--- a/src/dynlink/dune
+++ b/src/dynlink/dune
@@ -12,6 +12,7 @@
(test
(name lin_tests)
+ (enabled_if (= %{env:RUN_EXPERIMENTAL_TESTS=false} "true"))
(modules lin_tests)
(package multicoretests)
(libraries qcheck-lin.domain dynlink libA libB)
|
