From 70bf549f1c790969430f505c004b48637fef244e Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Tue, 10 Jul 2018 15:10:15 +0200
Subject: Remove auto-retry in GitLab CI now that @coqbot is handling it.

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 11614bc38..7c451af26 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -55,7 +55,6 @@ after_script:
 # TODO figure out how to build doc for installed Coq
 .build-template: &build-template
   stage: build
-  retry: 1
   artifacts:
     name: "$CI_JOB_NAME"
     paths:
-- 
cgit v1.2.3