From 76732cd40fa0556ca0d229689c10cfc214756928 Mon Sep 17 00:00:00 2001 From: Dilum Aluthge Date: Sun, 10 Dec 2023 15:12:07 -0500 Subject: [PATCH] CompatHelper: make PRs to bump JLL compat entries (#285) --- .github/workflows/CompatHelper.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml index 9b74667..2733238 100644 --- 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()'