diff options
| author | Emilio Jesus Gallego Arias | 2019-04-28 19:59:24 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-04-28 19:59:24 +0200 |
| commit | f1fd3d42d87f8b9dd840c613dad235e3b5f3338e (patch) | |
| tree | 678458998ba17b2b489a135b92abbf61a1e7fe1f | |
| parent | 02a98973d2bd1e6fd5f7489da718f5a313fc834c (diff) | |
| parent | 93febec88b7e839f9b651a01ab3e3d41b312074e (diff) | |
Merge PR #10010: [ci/gitlab] Remove after_switch message (not useful anymore).
Reviewed-by: ejgallego
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b074427892..3c24ec28c4 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 # ###################################################### |