From 3b089a920181aa6b6b959fc13ac86383f1c48198 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Wed, 16 May 2018 13:37:43 +0200
Subject: [circle] Use Docker image from Gitlab registry.

---
 .circleci/config.yml | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to '.circleci')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 79f83d472..4d2fb1a4d 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -8,10 +8,11 @@ defaults:
     # reference syntax)
     working_directory: ~/coq
     docker:
-      - image: coqci/base:V2018-05-07-V2
+      - image: $CI_REGISTRY_IMAGE:$CACHEKEY
 
   environment: &envvars
-    NATIVE_COMP: "yes"
+    CACHEKEY: "bionic_coq-V2018-05-07-V2"
+    CI_REGISTRY_IMAGE: registry.gitlab.com/coq/coq
 
 version: 2
 
@@ -46,7 +47,9 @@ before_script: &before_script
         paths:
           - coq/
 
-  environment: *envvars
+  environment:
+    <<: *envvars
+    NATIVE_COMP: "yes"
 
 .ci-template: &ci-template
   <<: *params
@@ -63,6 +66,7 @@ before_script: &before_script
         root: *workspace
         paths:
           - coq/
+  environment: *envvars
 
 # Defines individual jobs, see the workflows section below for job orchestration
 jobs:
-- 
cgit v1.2.3