Hafnium: add verified label

Change-Id: I4e813684dbf93ddd3bc46c74240411012baba932
diff --git a/project.config b/project.config
index 7dad165..8f3269c 100644
--- a/project.config
+++ b/project.config
@@ -10,5 +10,12 @@
 	label-Code-Review = -2..+2 group hafnium-approvers
 	label-Code-Review = -1..+1 group Bot Users
 	label-Code-Review = -1..+1 group Non-Interactive Users
+	label-Verified = -1..+1 group Bot Users
 	push = group hafnium-approvers
 	submit = group hafnium-approvers
+[label "Verified"]
+       function = MaxWithBlock
+       value = -1 Fails
+       value = 0 No score
+       value = +1 Verified
+       copyAllScoresIfNoCodeChange = true