diff options
author | Tobias Roeser <le.petit.fou@web.de> | 2019-09-17 15:59:03 +0200 |
---|---|---|
committer | Tobias Roeser <le.petit.fou@web.de> | 2019-09-17 15:59:23 +0200 |
commit | 3e043133d6c19887ed137bb9988596a5d664d8c8 (patch) | |
tree | a9a03c7d8a82bd09882ce1e6fef9833adfd00b92 | |
parent | de22b577cd127d46308f3c826aba19585eaa1eb9 (diff) | |
download | mill-3e043133d6c19887ed137bb9988596a5d664d8c8.tar.gz mill-3e043133d6c19887ed137bb9988596a5d664d8c8.tar.bz2 mill-3e043133d6c19887ed137bb9988596a5d664d8c8.zip |
Print the just published version
-rwxr-xr-x | ci/publish-local.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/publish-local.sh b/ci/publish-local.sh index 99270852..142f7b95 100755 --- a/ci/publish-local.sh +++ b/ci/publish-local.sh @@ -4,4 +4,6 @@ set -eux ./mill -i all __.publishLocal assembly +./mill -i show main.publishVersion + cp out/assembly/dest/mill ~/mill-release |