From 656b7cd0e6d1be6b2d54d1b425eaa948c5654f1c Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Wed, 10 Jul 2024 16:31:32 +0200
Subject: [PATCH] [ci] Add target for testing non-regression in libraries
---
.gitlab-ci.yml | 6 ++++++
Makefile | 3 +++
flake.nix | 5 ++++-
3 files changed, 13 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 892fcde..7e30e3b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -58,6 +58,12 @@ test:
- nix --extra-experimental-features "nix-command flakes" build
- nix --extra-experimental-features "nix-command flakes" flake check -L
+test-lib:
+ stage: test
+ script:
+ - nix --extra-experimental-features "nix-command flakes" build
+ - nix --extra-experimental-features "nix-command flakes" develop --command make test-lib
+
## Manual generation of the documentation
documentation:
diff --git a/Makefile b/Makefile
index 3c50ad6..b5e8c7b 100644
--- a/Makefile
+++ b/Makefile
@@ -16,6 +16,9 @@ test:
test-ci:
dune build -j2 @tests/ci
+test-lib:
+ dune runtest -j2 lib
+
promote:
dune promote --root=.
diff --git a/flake.nix b/flake.nix
index 2d40836..6c2d79d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -94,7 +94,10 @@
dontBuild = true;
dontInstall = true;
doCheck = true;
- checkPhase = "make test-ci";
+ checkPhase = ''
+ make test-ci
+ make test-lib
+ '';
buildInputs = oldAttrs.buildInputs ++
[ pkgs.python3Packages.onnx ];
});
--
GitLab