8181 with :
8282 name : ${{ matrix.triplet }}-jll
8383 path : ${{ github.workspace }}/HiGHS_jll
84- # Now we need to update the Artifacts.toml in the HiGHS_jll that we've
85- # downloaded. Otherwise Julia will try to download the default on install.
86- - shell : julia --color=yes {0}
87- run : |
88- file = joinpath(ENV["GITHUB_WORKSPACE"], "HiGHS_jll", "Artifacts.toml")
89- m = match(r"git-tree-sha1 = \"(.+?)\"", read(file, String))
90- dir = escape_string(joinpath(ENV["GITHUB_WORKSPACE"], "products"))
91- write(
92- expanduser(joinpath("~", ".julia", "artifacts", "Overrides.toml")),
93- "$(m[1]) = \"$(dir)\"\n",
94- )
95- Pkg.develop(; path = joinpath(ENV["GITHUB_WORKSPACE"], "HiGHS_jll"))
9684 # We need to update the [compat] section in HiGHS to support HiGHS_jll
9785 - shell : julia --color=yes {0}
9886 run : |
@@ -104,6 +92,18 @@ jobs:
10492 project_filename,
10593 replace(project, r"HiGHS_jll = \"=.+?\"" => "HiGHS_jll = \"1\""),
10694 )
95+ # Now we need to update the Artifacts.toml in the HiGHS_jll that we've
96+ # downloaded. Otherwise Julia will try to download the default on install.
97+ - shell : julia --color=yes {0}
98+ run : |
99+ file = joinpath(ENV["GITHUB_WORKSPACE"], "HiGHS_jll", "Artifacts.toml")
100+ m = match(r"git-tree-sha1 = \"(.+?)\"", read(file, String))
101+ dir = escape_string(joinpath(ENV["GITHUB_WORKSPACE"], "products"))
102+ write(
103+ joinpath(expanduser("~"), ".julia", "artifacts", "Overrides.toml"),
104+ "$(m[1]) = \"$(dir)\"\n",
105+ )
106+ Pkg.develop(; path = joinpath(ENV["GITHUB_WORKSPACE"], "HiGHS_jll"))
107107 - shell : julia --color=yes {0}
108108 run : |
109109 using Pkg
0 commit comments