print revision of opm-tests

2021-06-24 14:02:53 +02:00
parent be0838981d
commit 085ec57759
1 changed files with 6 additions and 0 deletions
--- a/jenkins/setup-opm-tests.sh
+++ b/jenkins/setup-opm-tests.sh
@@ -14,6 +14,9 @@ then
    if ! test -d $WORKSPACE/deps/opm-tests
    then
      cp $OPM_TESTS_ROOT_PREDEFINED $WORKSPACE/deps/opm-tests -R
+      pushd $WORKSPACE/deps/opm-tests
+      echo "opm-tests revision: `git rev-parse HEAD`"
+      popd
    fi
  else
    # We need a full repo checkout
@@ -29,6 +32,9 @@ else
  if ! test -d $WORKSPACE/deps/opm-tests
  then
    cp $OPM_TESTS_ROOT $WORKSPACE/deps/opm-tests -R
+    pushd $WORKSPACE/deps/opm-tests
+    echo "opmt-tests-revision: `git rev-parse HEAD`"
+    popd
  fi
 fi
 OPM_TESTS_ROOT=$WORKSPACE/deps/opm-tests