summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorLi Haoyi <haoyi.sg@gmail.com>2019-07-08 07:50:13 +0800
committerLi Haoyi <haoyi.sg@gmail.com>2019-07-08 07:50:13 +0800
commit858b675ed74e3d26a11b0a06db45db4c1c12aabe (patch)
tree6797aad68319084be2e3d3627bd3140f875bc862 /ci
parent19b0b4072874bbdbf1cda92b3d28bf4f5eb3f54c (diff)
downloadmill-858b675ed74e3d26a11b0a06db45db4c1c12aabe.tar.gz
mill-858b675ed74e3d26a11b0a06db45db4c1c12aabe.tar.bz2
mill-858b675ed74e3d26a11b0a06db45db4c1c12aabe.zip
fix
Diffstat (limited to 'ci')
-rwxr-xr-xci/publish-local.sh4
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