From 79611a3c5d6196f59b3accc8e21a774b5670164c Mon Sep 17 00:00:00 2001 From: Charlie Vanaret Date: Sun, 17 Nov 2024 16:01:38 +0100 Subject: [PATCH] [CI] forgot to delete "share" directory in generate_binaries.jl --- .github/julia/generate_binaries.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/julia/generate_binaries.jl b/.github/julia/generate_binaries.jl index dcbeeaaf..5d39e290 100644 --- a/.github/julia/generate_binaries.jl +++ b/.github/julia/generate_binaries.jl @@ -53,7 +53,7 @@ for (platform, libdir, ext) in platforms # Create a folder with the version number of the package mkdir("$(package)_binaries.$version2") - for folder in ("lib", "bin", "share") + for folder in ("lib", "bin") cp(folder, "$(package)_binaries.$version2/$folder") end