update CompatHelper

impICNF · Dec 11, 2023 · 0c51752 · 0c51752
1 parent 92824d4
commit 0c51752
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml
@@ -15,10 +15,10 @@ jobs:
           version: '1'
           arch: x64
           show-versioninfo: true
-      - name: Pkg.add("CompatHelper")
+      - name: Pkg.add
         run: julia --color=yes -e 'using Pkg; Pkg.add("CompatHelper")'
-      - name: CompatHelper.main()
+      - name: CompatHelper.main
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
-        run: julia --color=yes -e 'using CompatHelper; CompatHelper.main(; subdirs=["", "docs", "test", "benchmark"])'
+        run: julia --color=yes -e 'using CompatHelper; CompatHelper.main(; include_jll = true, subdirs = ["", "docs", "test", "benchmark"])'