diff options
Diffstat (limited to 'ci/publish-local.sh')
-rwxr-xr-x | ci/publish-local.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ci/publish-local.sh b/ci/publish-local.sh new file mode 100755 index 0000000..c137340 --- /dev/null +++ b/ci/publish-local.sh @@ -0,0 +1,7 @@ +#!/usr/bin/env bash + +set -eux + +mill -i all __.publishLocal release + +mv out/release/dest/mill ~/mill-release |