Merge pull request #3460 from scampi/ci-integration-head

show the HEAD of the integration branch to faciliate reproducing an error with rustfmt

Author: topecongiro

ci/integration.sh

@@ -76,23 +76,31 @@ function check_fmt_base {
     fi
 }
 
+function show_head {
+    local head=$(git rev-parse HEAD)
+    echo "Head commit of ${INTEGRATION}: $head"
+}
+
 case ${INTEGRATION} in
     cargo)
         git clone --depth=1 https://github.com/rust-lang/${INTEGRATION}.git
         cd ${INTEGRATION}
+        show_head
         export CFG_DISABLE_CROSS_TESTS=1
         check_fmt_with_all_tests
         cd -
         ;;
     crater)
         git clone --depth=1 https://github.com/rust-lang-nursery/${INTEGRATION}.git
         cd ${INTEGRATION}
+        show_head
         check_fmt_with_lib_tests
         cd -
         ;;
     *)
         git clone --depth=1 https://github.com/rust-lang-nursery/${INTEGRATION}.git
         cd ${INTEGRATION}
+        show_head
         check_fmt_with_all_tests
         cd -
         ;;