From 4a12a2ab5701d1b28aaafa5ecccac88790fd1e98 Mon Sep 17 00:00:00 2001 From: Théo Zimmermann Date: Wed, 4 Jul 2018 09:29:03 +0200 Subject: Print something after the build completed if it wasn't a runner failure. This can then be leveraged by @coqbot to know which builds to restart. --- .gitlab-ci.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8469d6119..e6f08b8c6 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -45,6 +45,9 @@ 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