Fetching tags from PR issuing repo in CI

enzo-project · Jul 13, 2022 · 78f5ab4 · 78f5ab4
1 parent 39262f4
commit 78f5ab4
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -11,8 +11,11 @@ commands:
             echo 'export ENZOTEST_DIR=$HOME/enzo_test' >> $BASH_ENV
             echo 'export ANSWER_NAME="push_suite"' >> $BASH_ENV
             echo 'export HYPRE=2.20.0' >> $BASH_ENV
-            # get tags from the main repository (for the current gold standard)
+            source $BASH_ENV
+            env | grep CIRCLE
+            # get tags from the main and PR repository (for the current gold standard)
             git fetch --tags https://github.com/enzo-project/enzo-dev
+            git fetch --tags $CIRCLE_REPOSITORY_URL
             # tag the tip so we can go back to it
             git tag tip