From 93febec88b7e839f9b651a01ab3e3d41b312074e Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sat, 27 Apr 2019 16:29:04 +0200
Subject: [ci/gitlab] Remove after_switch message (not useful anymore).

This was put in place for @coqbot to detect runner failures, but now
the strategy is different.
---
 .gitlab-ci.yml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3c427793e2..5fa41bb9f7 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -47,9 +47,6 @@ before_script:
   - opam list
   - opam config list
 
-after_script:
-  - echo "The build completed normally (not a runner failure)."
-
 ################ GITLAB CACHING ######################
 # - use artifacts between jobs                       #
 ######################################################
-- 
cgit v1.2.3