Add empty ci_after_success target for Jenkins

Jenkins uses templates to define all jobs which means they need to have the same make targets even if the targets don't do anything. (cherry picked from commit 57b4f2e8f3)
2018-11-30 11:11:32 +02:00 · 2018-11-30 11:11:32 +02:00 · 80c18a6e63
commit 80c18a6e63
parent efa9974609
1 changed files with 4 additions and 0 deletions
--- a/4
+++ b/4
@ -106,4 +106,8 @@ docs-in-docker:
 ci: check test
 .PHONY: ci_after_success
 ci_after_success:
 # nothing to do here, but Jenkins expects this to be present, otherwise fails
 .PHONY: docs