diff options
Diffstat (limited to 'ci/publish-local.sh')
| -rwxr-xr-x | ci/publish-local.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/publish-local.sh b/ci/publish-local.sh index 6342125e..f72276e1 100755 --- a/ci/publish-local.sh +++ b/ci/publish-local.sh @@ -4,4 +4,4 @@ set -eux ./mill -i all __.publishLocal executable -mv out/executable/dest/mill ~/mill-release +cp out/executable/dest/mill ~/mill-release |