From c599dc14482da8cdbbe2da8ff5670da46a27ea97 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 26 Aug 2019 10:27:48 +0200
Subject: [PATCH] Build: use ocaml 4.08 for the CI
---
.gitlab-ci.yml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 41eebcd..35aa8ef 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,4 +1,4 @@
-image: ocaml/opam2:ubuntu-18.04-ocaml-4.07
+image: ocaml/opam2:ubuntu-18.04-ocaml-4.08
variables:
GIT_STRATEGY: clone
@@ -13,6 +13,9 @@ stages:
build_and_test:
stage: build
script:
+ - opam repo add official-repo "https://opam.ocaml.org"
+ - opam repository add official-repo --set-default
+ - opam update
- opam depext dune ocamlfind
- opam install dune ocamlfind num
- make
--
GitLab