julia.withPackages: fix weak deps on Julia 1.10

(cherry picked from commit e0ce7570a2)
This commit is contained in:
thomasjm 2024-07-01 23:40:53 -07:00 committed by github-actions[bot]
parent 1c66ca59c9
commit e4f1101fd0

View File

@ -75,7 +75,7 @@ for (uuid, versions) in uuid_to_versions.items():
os.makedirs(out_path / path)
# Copy some files to the minimal repo unchanged
for f in ["Compat.toml", "Deps.toml"]:
for f in ["Compat.toml", "Deps.toml", "WeakCompat.toml", "WeakDeps.toml"]:
if (registry_path / path / f).exists():
shutil.copy2(registry_path / path / f, out_path / path)