summaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
Diffstat (limited to 'dune-project')
-rw-r--r--dune-project11
1 files changed, 6 insertions, 5 deletions
diff --git a/dune-project b/dune-project
index 0ededdd..f023186 100644
--- a/dune-project
+++ b/dune-project
@@ -35,10 +35,11 @@
(and
:with-test
(>= 0.91)))
- (qcheck-alcotest
- (and
- :with-test
- (>= 0.91))))
- (tags ("nix")))
+ (qcheck-alcotest
+ (and
+ :with-test
+ (>= 0.91)))
+ (bisect_ppx :with-test))
+ (tags ("nix")))
; See the complete stanza docs at https://dune.readthedocs.io/en/stable/reference/dune-project/index.html