From 76559870c8a81a9e3ba3f1242e60ff8e5f53c03a Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Fri, 22 Mar 2019 22:17:54 +0100
Subject: Detail: Print a more legible description for the cloned external
 libraries

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d326aae..3177724 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -112,6 +112,7 @@ coq-dev:
     - git clone -b "${CONTRIB_VERSION}" --depth 1 "${CONTRIB_URL}" /home/coq/ci
     - cd /home/coq/ci
     - git rev-parse --verify HEAD
+    - git describe --all --long --abbrev=40 --always --dirty
   except:
     - tags
     - merge_requests
-- 
cgit v1.2.3