Searched full:github_base_ref (Results 1 – 1 of 1) sorted by relevance
24 if [ -z "GITHUB_BASE_REF" ]; then27 git fetch origin $GITHUB_BASE_REF --depth=128 …git diff --name-only origin/$GITHUB_BASE_REF... | grep -qvE '(\.rst$|^Doc|^Misc)' && echo '::set-o…