From efab16128ade5b98a01d03e58c458ec47f840e5a Mon Sep 17 00:00:00 2001 From: Jonas Klasen Date: Mon, 27 Apr 2026 19:57:10 +0200 Subject: [PATCH] Update CompatHelper workflow to check for Julia installation and streamline setup This commit enhances the CompatHelper GitHub Actions workflow by adding steps to check if Julia is already available in the PATH and install it if necessary. It also includes steps to add the General registry and install CompatHelper before executing it, ensuring a smoother setup process. --- .github/workflows/CompatHelper.yml | 34 ++++++++++++++++++++++++++---- 1 file changed, 30 insertions(+), 4 deletions(-) diff --git a/.github/workflows/CompatHelper.yml b/.github/workflows/CompatHelper.yml index a8fdf41..0603391 100644 --- a/.github/workflows/CompatHelper.yml +++ b/.github/workflows/CompatHelper.yml @@ -1,7 +1,7 @@ name: CompatHelper on: schedule: - - cron: "0 0 * * *" + - cron: 0 0 * * * workflow_dispatch: permissions: contents: write @@ -10,8 +10,34 @@ jobs: CompatHelper: runs-on: ubuntu-latest steps: - - name: CompatHelper.jl - uses: julia-actions/CompatHelper@v1 + - name: Check if Julia is already available in the PATH + id: julia_in_path + run: which julia + continue-on-error: true + - name: Install Julia, but only if it is not already available in the PATH + uses: julia-actions/setup-julia@v2 + with: + version: '1' + arch: ${{ runner.arch }} + if: steps.julia_in_path.outcome != 'success' + - name: "Add the General registry via Git" + run: | + import Pkg + ENV["JULIA_PKG_SERVER"] = "" + Pkg.Registry.add("General") + shell: julia --color=yes {0} + - name: "Install CompatHelper" + run: | + import Pkg + name = "CompatHelper" + uuid = "aa819f21-2bde-4658-8897-bab36330d9b7" + version = "3" + Pkg.add(; name, uuid, version) + shell: julia --color=yes {0} + - name: "Run CompatHelper" + run: | + import CompatHelper + CompatHelper.main() + shell: julia --color=yes {0} env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - COMPATHELPER_PRIV: ""