From cd958350ffb6836a4e9e02716fc19b1a1d1177cd Mon Sep 17 00:00:00 2001
From: Georges Gonthier
Date: Tue, 5 Mar 2019 12:45:38 +0100
Subject: Improve CI head tracking

As per @ejgallego ’s suggestion.
---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index aa05051..e91aa17 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -110,6 +110,7 @@ make-coq-latest:
     - coqc --version
     - git clone -b "${CONTRIB_VERSION}" --depth 1 "${CONTRIB_URL}" /home/coq/ci
     - cd /home/coq/ci
+    - git rev-parse --verify HEAD
   except:
     - tags
     - merge_requests
-- 
cgit v1.2.3