Use runtest to run tests

.gitlab-ci.yml

@@ -84,7 +84,7 @@ local-dune-job:
   script:
     - scripts/install_vendors_deps.sh
     - scripts/build_ligo_local.sh
-    - dune build @ligo-test
+    - dune runtest
 
 # Run a docker build without publishing to the registry
 build-current-docker-image:

scripts/test_ligo.sh

@@ -2,4 +2,4 @@
 set -e
 
 eval $(opam config env)
-dune build @ligo-test
+dune runtest

src/union_find/dune

@@ -10,7 +10,8 @@
 ;;   (flags (:standard -w +1..62-4-9-44-40-42-48-30@39@33 -open Simple_utils ))
   )
 
-(test
- (modules PartitionMain)
- (libraries union_find)
- (name PartitionMain))
+;;; TODO test does not test anything, only prints
+; (test
+;  (modules PartitionMain)
+;  (libraries union_find)
+;  (name PartitionMain))

vendors/ligo-utils/tezos-protocol-alpha/dune

@@ -15,6 +15,7 @@
  (name   runtest_dune_template)
  (action (diff dune.inc dune.inc.gen)))
 
-(alias
- (name runtest)
- (deps (alias runtest_dune_template)))
+;;; for ligo, don't test this
+; (alias
+;  (name runtest)
+;  (deps (alias runtest_dune_template)))