From 2773a2e4cd719e1813ec715e5d1f5ef00203b562 Mon Sep 17 00:00:00 2001 From: Matej Sima Date: Sat, 21 Sep 2019 14:28:33 +0200 Subject: [PATCH] Bring back local-repo-job for testing --- .gitlab-ci.yml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index fd988aca4..6f6889714 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -76,14 +76,14 @@ local-dune-job: # TODO: uncomment this -# TODO -# local-repo-job: -# <<: *before_script -# stage: test -# script: -# - scripts/install_vendors_deps.sh -# # TODO: also try from time to time with --build-test -# - opam install -y ligo +local-repo-job: + <<: *before_script + stage: test + script: + - scripts/install_vendors_deps.sh + # TODO: also try from time to time with --build-test + - opam install -y ligo + - ligo remote-repo-job: <<: *before_script