From 02c7b7618e5a862b96a7e499d2eb91e42fcba584 Mon Sep 17 00:00:00 2001
From: Ben Sully <ben.sully88@gmail.com>
Date: Fri, 25 Oct 2024 12:12:36 +0100
Subject: [PATCH] Fix just test-all target to omit Prophet benchmarks

---
 justfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/justfile b/justfile
index d2c96ac1..a22a93b7 100644
--- a/justfile
+++ b/justfile
@@ -26,7 +26,8 @@ test:
 
 # Run all unit and integration tests, plus examples and benchmarks,
 # except for those which require `iai` (which isn't available on
-# all platforms).
+# all platforms) and the Prophet benchmarks which require a STAN
+# installation.
 test-all:
   cargo nextest run \
     --all-features \
@@ -34,7 +35,7 @@ test-all:
     --workspace \
     --exclude augurs-js \
     --exclude pyaugurs \
-    -E 'not binary(/iai/)'
+    -E 'not (binary(/iai/) | binary(/real-life/))'
 
 doctest:
   # Ignore augurs-js and pyaugurs since they either won't compile with all features enabled