From bc8c277880e5181399f4a561913637a7fc5a57b2 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Sat, 10 Aug 2019 14:41:22 +0200
Subject: fix(.gitlab-ci.yml): duplicated "variables:" entry

This could explain why the change in b8eadb8603b83c053a313b39c2a8f268385d8942
was not taken into account.
---
 .gitlab-ci.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5000e5b..80772d1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -345,12 +345,11 @@ ci-finmap-dev:
   image: docker:latest
   services:
     - docker:dind
-  variables:
-    GIT_STRATEGY: none
   environment:
     name: deployment
     url: https://hub.docker.com/r/mathcomp/mathcomp-dev
   variables:
+    GIT_STRATEGY: none
     HUB_IMAGE: "mathcomp/${CI_JOB_NAME}"
     IMAGE_PREFIX: "${CI_REGISTRY_IMAGE}:${CI_PIPELINE_IID}_${CI_COMMIT_REF_SLUG}"
   script:
-- 
cgit v1.2.3