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 fc9e06b9..c137340d 100755 --- a/ci/publish-local.sh +++ b/ci/publish-local.sh @@ -2,6 +2,6 @@ set -eux -mill all __.publishLocal release +mill -i all __.publishLocal release mv out/release/dest/mill ~/mill-release |