From 82d26fe3bd3be5b97897ce3b07cfe69bc68c1a88 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 19 May 2020 18:25:23 +0200
Subject: Use dev version for opam git pinning in .gitlab-ci.yml.

The main reason for this change is to reduce the number of places
where the Coq version is hardcoded.

But moreover, I don't see why that wouldn't work since dev is
precisely the version that is defined in the opam files.
---
 .gitlab-ci.yml | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index fc0cdebcf0..4139a0dbe5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -366,12 +366,11 @@ pkg:opam:
   dependencies: []
   script:
     - set -e
-    - opam pin add --kind=path coq.$COQ_VERSION .
-    - opam pin add --kind=path coqide-server.$COQ_VERSION .
-    - opam pin add --kind=path coqide.$COQ_VERSION .
+    - opam pin add --kind=path coq.dev .
+    - opam pin add --kind=path coqide-server.dev .
+    - opam pin add --kind=path coqide.dev .
     - set +e
   variables:
-    COQ_VERSION: "8.13"
     OPAM_SWITCH: "edge"
     OPAM_VARIANT: "+flambda"
   only: *full-ci
-- 
cgit v1.2.3