CompatHelper: make PRs to bump JLL compat entries (#285)

JuliaMath · Dec 10, 2023 · 76732cd · 76732cd
1 parent 8a3e953
commit 76732cd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
@@ -10,7 +10,7 @@ jobs:
     steps:
       - name: Pkg.add("CompatHelper")
         run: julia -e 'using Pkg; Pkg.add("CompatHelper")'
-      - name: CompatHelper.main()
+      - name: CompatHelper.main(; include_jll = true)
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         run: julia -e 'using CompatHelper; CompatHelper.main()'