diff --git a/Makefile b/Makefile
index 59ff1ddd..cf9c3f61 100644
--- a/Makefile
+++ b/Makefile
@@ -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