From da5985eae6656be1bd30aee76c8d08dbc3a09c25 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Thu, 20 Dec 2018 16:18:28 +0100
Subject: chore: s/.build/.opam-build/

---
 .gitlab-ci.yml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 574a3b2..6c70f50 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -28,7 +28,7 @@ stages:
   - test
 
 # set var OPAM_SWITCH (if need be) when using
-.build:
+.opam-build:
   stage: build
   image: docker:latest
   services:
@@ -57,18 +57,18 @@ stages:
     - merge_requests
 
 coq-8.6:
-  extends: .build
+  extends: .opam-build
   variables:
     OPAM_SWITCH: "base"
 
 coq-8.7:
-  extends: .build
+  extends: .opam-build
 
 coq-8.8:
-  extends: .build
+  extends: .opam-build
 
 coq-dev:
-  extends: .build
+  extends: .opam-build
 
 # set CONTRIB_URL, script, COQ_VERSION, CONTRIB_VERSION when using
 .ci:
-- 
cgit v1.2.3