From a3014ed3b33ae9d6839a25d1784d0f3e26ec482d Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Tue, 30 Jan 2024 15:26:54 +0100
Subject: [PATCH] [ci] Added a new test target for CI-only

---
 Makefile   |  4 ++--
 tests/dune | 16 ++++++++++++++++
 2 files changed, 18 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 2eacf94..3c50ad6 100644
--- a/Makefile
+++ b/Makefile
@@ -11,10 +11,10 @@ uninstall:
 	dune uninstall
 
 test:
-	dune runtest --root=.
+	dune build @tests/local
 
 test-ci:
-	dune runtest -j2 --root=.
+	dune build -j2 @tests/ci
 
 promote:
 	dune promote --root=.
diff --git a/tests/dune b/tests/dune
index e2e8736..e65becc 100644
--- a/tests/dune
+++ b/tests/dune
@@ -1,4 +1,20 @@
 (cram
+ (alias local)
+ (applies_to * \ nier_to_onnx)
+ (deps
+  (package caisar)
+  setup_env.sh
+  TestNetwork.nnet
+  TestNetworkONNX.onnx
+  TestSVM.ovo
+  (glob_files bin/*)
+  filter_tmpdir.sh
+  ../lib/xgboost/example/california.csv
+  ../lib/xgboost/example/california.json)
+ (package caisar))
+
+(cram
+ (alias ci)
  (deps
   (package caisar)
   setup_env.sh
-- 
GitLab