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") {