Merge branch 'main' into feat/result_monad

acts-project · Dec 7, 2024 · beb19d2 · beb19d2
2 parents bc7e295 + f16ed67
commit beb19d2
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -155,7 +155,10 @@ test_exatrkx_unittests:
 
     - apt-get update -y
     - git clone $CLONE_URL src
-    - source src/CI/dependencies.sh
+    - cd src
+    - git checkout $HEAD_SHA
+    - source CI/dependencies.sh
+    - cd ..
     - ctest --test-dir build -R ExaTrkX
 
 test_exatrkx_python: