fix(jenkins) test whether push triggers jenkins build