summaryrefslogtreecommitdiffstats
path: root/.github/workflows
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2024-07-10 18:52:16 -0700
committerGitHub <noreply@github.com>2024-07-10 18:52:16 -0700
commita1908461fa2cec77dbdbf5af3d8d433cf08923c4 (patch)
tree7d88fa8327ace939bd045d5151725a9f8c48fd74 /.github/workflows
parentd94a74814711203d6ce063d1744ddbce8d2ae74c (diff)
release script: copy lib to bin. (#4605)
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/release.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 5fab3f471..3d4bcb055 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -146,6 +146,7 @@ jobs:
- name: Package Slang
id: package
run: |
+ cp "${lib_dir}/*" "${bin_dir}/""
# For the release, also generate a tar.gz file
cpack --preset "$config" -G ZIP
cpack --preset "$config" -G TGZ