a877eb9 Add build id for the flag

Authored and Committed by farhaan 7 years ago
    Add build id for the flag
    
    This is a PR to add build_id to the jenkins flag attached to the pull-request
    jenkins in general actually didn't give much insight to what the link is pointing to
    adding a build id makes it more significant to the user to which build the URL
    id is pointing to.
    
        
file modified
+3 -1