[ci] Add target for testing non-regression in libraries

.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:

Makefile

@@ -16,6 +16,9 @@ test:
 test-ci:
 	dune build -j2 @tests/ci
 
+test-lib:
+	dune runtest -j2 lib
+
 promote:
 	dune promote --root=.
 

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 ];
             });