diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 07:50:13 +0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 07:50:13 +0800 |
commit | 858b675ed74e3d26a11b0a06db45db4c1c12aabe (patch) | |
tree | 6797aad68319084be2e3d3627bd3140f875bc862 /ci | |
parent | 19b0b4072874bbdbf1cda92b3d28bf4f5eb3f54c (diff) | |
download | mill-858b675ed74e3d26a11b0a06db45db4c1c12aabe.tar.gz mill-858b675ed74e3d26a11b0a06db45db4c1c12aabe.tar.bz2 mill-858b675ed74e3d26a11b0a06db45db4c1c12aabe.zip |
fix
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/publish-local.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/publish-local.sh b/ci/publish-local.sh index f72276e1..99270852 100755 --- a/ci/publish-local.sh +++ b/ci/publish-local.sh @@ -2,6 +2,6 @@ set -eux -./mill -i all __.publishLocal executable +./mill -i all __.publishLocal assembly -cp out/executable/dest/mill ~/mill-release +cp out/assembly/dest/mill ~/mill-release |