diff options
Diffstat (limited to 'ci/publish-local.sh')
| -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 c137340d..6342125e 100755 --- a/ci/publish-local.sh +++ b/ci/publish-local.sh @@ -2,6 +2,6 @@ set -eux -mill -i all __.publishLocal release +./mill -i all __.publishLocal executable -mv out/release/dest/mill ~/mill-release +mv out/executable/dest/mill ~/mill-release |