Print commit ID of current HEAD for more detailed info

Signed-off-by: Xinyu Zhang <xinyu.zhang@arm.com>
Change-Id: I3e74b7116e31f1553c6feea26c34e6760406c688
diff --git a/jenkins/ci.jpl b/jenkins/ci.jpl
index 1e53615..3e0a732 100644
--- a/jenkins/ci.jpl
+++ b/jenkins/ci.jpl
@@ -458,6 +458,7 @@
       cleanWs()
       dir("tf-m-ci-scripts") {
         checkout([$class: 'GitSCM', branches: [[name: '$CI_SCRIPTS_BRANCH']], userRemoteConfigs: [[credentialsId: 'GIT_SSH_KEY', url: '$CI_SCRIPTS_REPO']]])
+        sh "git rev-parse --short HEAD"
       }
     }
     stage("Configs") {