Update

Author: odow

.github/workflows/julia-tests.yml

@@ -81,24 +81,29 @@ jobs:
         with:
           name: ${{ matrix.triplet }}-jll
           path: ${{ github.workspace }}/HiGHS_jll
+      # Now we need to update the Artifacts.toml in the HiGHS_jll that we've
+      # downloaded. Otherwise Julia will try to download the default on install.
+      - shell: julia --color=yes {0}
+        run: |
+          file = joinpath(ENV["GITHUB_WORKSPACE"], "HiGHS_jll", "Artifacts.toml")
+          m = match(r"git-tree-sha1 = \"(.+?)\"", read(file, String))
+          dir = escape_string(joinpath(ENV["GITHUB_WORKSPACE"], "products"))
+          write(
+            expanduser(joinpath("~", ".julia", "artifacts", "Overrides.toml")),
+            "$(m[1]) = \"$(dir)\"\n",
+          )
+          Pkg.develop(; path = joinpath(ENV["GITHUB_WORKSPACE"], "HiGHS_jll"))
+      # We need to update the [compat] section in HiGHS to support HiGHS_jll
       - shell: julia --color=yes {0}
         run: |
           using Pkg
           Pkg.develop("HiGHS")
-          Pkg.develop(; path = joinpath(ENV["GITHUB_WORKSPACE"], "HiGHS_jll"))
           project_filename = joinpath(Pkg.devdir(), "HiGHS", "Project.toml")
           project = read(project_filename, String)
           write(
             project_filename,
             replace(project, r"HiGHS_jll = \"=.+?\"" => "HiGHS_jll = \"1\""),
           )
-          #
-          import HiGHS_jll
-          artifact_dir = HiGHS_jll.artifact_dir
-          sha = last(splitpath(artifact_dir))
-          dir = escape_string(joinpath(ENV["GITHUB_WORKSPACE"], "products"))
-          content = "$sha = \"$(dir)\"\n"
-          write(replace(artifact_dir, sha => "Overrides.toml"), content)
       - shell: julia --color=yes {0}
         run: |
           using Pkg