Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision 8faaca1fc14d9d09c15d3aaac2d861780aa29a0c)
+++ Jenkinsfile	(revision d83666cf8070765f5ba036ce3e7b7bdd98b3534b)
@@ -170,5 +170,6 @@
 	collect_git_info()
 
-	currentBuild.description = "Cforall ${gitRefName} ${compiler.cc_name}:${arch_name}"
+	def full = do_alltests ? " (Full)" : ""
+	currentBuild.description = "Cforall ${gitRefName} ${compiler.cc_name}:${arch_name}${full}"
 }