Fetching tags from PR issuing repo in CI

enzo-project · Jul 13, 2022 · 5e4907c · 5e4907c
1 parent 39262f4
commit 5e4907c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -11,8 +11,9 @@ 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)
+            # 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 origin
             # tag the tip so we can go back to it
             git tag tip