From 79b44bd6eb587c95cfb6ae2410a7f68b1a3a3817 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 2 Dec 2019 11:37:35 +0100
Subject: [PATCH] CI: do not add the 1.2 opam repo
---
.gitlab-ci.yml | 1 -
1 file changed, 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c14d24b8..b015faa3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,7 +8,6 @@ stages:
test:
stage: build
script:
- - opam repo add opamorg "https://opam.ocaml.org/1.2.2"
- opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"
- eval `opam config env`
- opam depext -y lustre-v6 lutin
--
GitLab