diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2aa87413e..fa78f2b42 100644 --- a/.gitlab-ci.yml +++ b/.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: diff --git a/scripts/test_ligo.sh b/scripts/test_ligo.sh index 9fd6320e7..cbd3dd817 100755 --- a/scripts/test_ligo.sh +++ b/scripts/test_ligo.sh @@ -2,4 +2,4 @@ set -e eval $(opam config env) -dune build @ligo-test +dune runtest diff --git a/src/union_find/dune b/src/union_find/dune index fad355c7a..711614f28 100644 --- a/src/union_find/dune +++ b/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)) diff --git a/vendors/ligo-utils/tezos-protocol-alpha/dune b/vendors/ligo-utils/tezos-protocol-alpha/dune index a715d55fd..44d2e1515 100644 --- a/vendors/ligo-utils/tezos-protocol-alpha/dune +++ b/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)))