From 2ededcc96fc2770c686bf23529cb327e6ea537d8 Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Thu, 11 Jul 2024 16:38:43 +0200
Subject: [PATCH] [ci][test] relax constraints on location of python3
 interpreter on test

---
 .gitlab-ci.yml          | 6 ------
 lib/onnx/tests/print.ml | 2 +-
 2 files changed, 1 insertion(+), 7 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7e30e3b..892fcde 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -58,12 +58,6 @@ 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/lib/onnx/tests/print.ml b/lib/onnx/tests/print.ml
index a8f37b0..90e2e7b 100644
--- a/lib/onnx/tests/print.ml
+++ b/lib/onnx/tests/print.ml
@@ -20,7 +20,7 @@ let () =
 
 let () =
   let pid =
-    Unix.create_process "/usr/bin/python3"
+    Unix.create_process "python3"
       [| "python3"; "../../../tests/bin/inspect_onnx.py" |]
       Unix.stdin Unix.stdout Unix.stdout
   in
-- 
GitLab