diff --git a/Jenkinsfile b/Jenkinsfile
index 348bdae332893fbb6a3ad9ba01ce2200d3f05c26..ad6404ea72372d95da2ba13bee7afabbe62de61a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -140,12 +140,15 @@ if (!params.type || params.type == 'standard') {
     }
   }
 } else {
-  // If the build is docker-latest, only build if the previous build was triggered by some source code changes
-  if (params.type == 'docker-latest') {
+  // If the build is docker-latest, only build if the previous build was triggered by some source code changes.
+  // Also always build if triggered manually by a user.
+  if (params.type == 'docker-latest' && (!currentBuild.rawBuild.getCauses()[0].toString().contains('UserIdCause'))) {
 		if (!currentBuild.rawBuild.getPreviousBuild().getChangeSets().isEmpty()) {
 		  buildDocker(params.type)
 		} else {
 		  echoXWiki "No changeset found in previous build, thus not executing the docker latest tests."
+		  // Aborting so that the build isn't displayed as successful without doing anything.
+		  currentBuild.result = 'ABORTED'
 		}
   } else {
     buildDocker(params.type)