Merge pull request#65from ProjectTorreyPines/compat

Using use_existing_registries
ProjectTorreyPines · Jul 17, 2024 · 01cc5c6 · 01cc5c6
2 parents 2aa7f21 + 5eb4cb4
commit01cc5c6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/compat_helper.yml b/.github/workflows/compat_helper.yml
@@ -19,4 +19,4 @@ jobs:
 env:
 GITHUB_TOKEN:${{ secrets.GITHUB_TOKEN }}
 COMPATHELPER_PRIV:${{ secrets.DOCUMENTER_KEY }}
-run:julia -e 'using CompatHelper; CompatHelper.main(;master_branch= "dev",pr_title_prefix= "[ci skip]")'
+run:julia -e 'using CompatHelper; CompatHelper.main(;master_branch= "dev",use_existing_registries=true)'