From 33dbd11482fb5ed2802071cacd4ffbe14a990bfe Mon Sep 17 00:00:00 2001
From: Tom Jack <tom@tomjack.co>
Date: Sat, 21 Sep 2019 13:50:01 -0700
Subject: [PATCH] Delete broken local-repo-job

---
 .gitlab-ci.yml | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6f6889714..223f33240 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -74,17 +74,6 @@ local-dune-job:
     - scripts/build_ligo_local.sh
     - dune build @ligo-test
 
-# TODO: uncomment this
-
-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
   stage: test