Take GITHUB_SHA into account if it is set in tests

Author: Kordyjan

project/scripts/cmdScaladocTests

@@ -17,7 +17,7 @@ DOTTY_BOOTSTRAPPED_VERSION_COMMAND="$SBT \"eval println(Build.dottyVersion)\""
 DOTTY_BOOTSTRAPPED_VERSION=$(eval $DOTTY_BOOTSTRAPPED_VERSION_COMMAND | tail -n 2 | head -n 1)
 
 SOURCE_LINKS_REPOSITORY="lampepfl/dotty"
-SOURCE_LINKS_VERSION="$DOTTY_BOOTSTRAPPED_VERSION"
+SOURCE_LINKS_VERSION="${GITHUB_SHA:-$DOTTY_BOOTSTRAPPED_VERSION}"
 
 "$SBT" "scaladoc/generateTestcasesDocumentation" > "$tmp" 2>&1 || echo "generated testcases project with sbt"
 dist/target/pack/bin/scaladoc \