From 4fc5134b50bff0e56a1577c8e935becbe9a4dcad Mon Sep 17 00:00:00 2001 From: Jules Aguillon Date: Thu, 16 Nov 2023 12:49:12 +0100 Subject: [PATCH] bench: Show Mdx errors when running benchmarks The driver do not signal failures with an exit status but with a (diff) action instead. Run the @docgen alias as a dependency to @bench to ensure errors are signaled. --- dune | 2 ++ 1 file changed, 2 insertions(+) diff --git a/dune b/dune index 2211e9997a..d0012767ca 100644 --- a/dune +++ b/dune @@ -11,5 +11,7 @@ (rule (alias bench) + (deps + (alias doc/docgen)) (action (cat doc/driver-benchmarks.json)))