Index: Jenkinsfile
===================================================================
--- Jenkinsfile	(revision b3231901d1f746e7bc9b348887aa30c4d2bac7d5)
+++ Jenkinsfile	(revision 0a76d8456d64af211f4ff09a58e7800b23b143d9)
@@ -161,5 +161,5 @@
 
 	def full = do_alltests ? " (Full)" : ""
-	currentBuild.description = "Cforall ${gitRefName} ${compiler.cc_name}:${arch_name}${full}"
+	currentBuild.description = "${compiler.cc_name}:${arch_name}${full}"
 
 	echo """Compiler 	      : ${compiler.cc_name} (${compiler.cpp_cc}/${compiler.cfa_cc})