diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e5147cb4e..9bba02f83 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -42,7 +42,7 @@ local-dune-job: - (dune build -p ligo) # TODO: also try instead from time to time: #- (cd ./src/; dune build -p ligo) - dune build -p ligo + - dune build @ligo-test local-repo-job: script: