Searched refs:git_rev (Results 1 – 2 of 2) sorted by relevance
192 git_rev = str(rev).split("/")[-1:][0]194 if "HEAD" in git_rev:197 if git_rev.startswith(search_term):198 results.append({'name': git_rev,
158 git_rev=$(git rev-parse --short HEAD) || exit 1159 build_dir="$base_dir/build-$git_rev-$timestamp"160 results_dir="$base_dir/results-$git_rev-$timestamp"