diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b3e7702e..f2b0a6f3 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -104,7 +104,12 @@ jobs: curl -L -O https://tiker.net/ci-support-v0 . ./ci-support-v0 - git clone "https://github.com/inducer/$DOWNSTREAM_PROJECT.git" + if [[ "$DOWNSTREAM_PROJECT" = "loopy" || "$DOWNSTREAM_PROJECT" = "pytential" ]] && [[ "$GITHUB_HEAD_REF" = "equality-mapper" ]]; then + git clone "https://github.com/alexfikl/$DOWNSTREAM_PROJECT.git" -b "equality-mapper" + else + git clone "https://github.com/inducer/$DOWNSTREAM_PROJECT.git" + fi + cd "$DOWNSTREAM_PROJECT" echo "*** $DOWNSTREAM_PROJECT version: $(git rev-parse --short HEAD)"