jenkins.sh is not in use, merged it to CI script