diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2018-02-09 19:40:57 -0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2018-02-09 19:40:57 -0800 |
commit | de2b0c49507439e464eafec9c1f8a8610b7fb04d (patch) | |
tree | a85838701974baa0fb42f95b0788b42652b73f8f /ci | |
parent | ec61701af4527429a1cf3df9a8d0b725ba11df0b (diff) | |
download | mill-de2b0c49507439e464eafec9c1f8a8610b7fb04d.tar.gz mill-de2b0c49507439e464eafec9c1f8a8610b7fb04d.tar.bz2 mill-de2b0c49507439e464eafec9c1f8a8610b7fb04d.zip |
add release flag to CI release script
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/release.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ci/release.py b/ci/release.py index 5777d183..f1e8940c 100755 --- a/ci/release.py +++ b/ci/release.py @@ -25,4 +25,6 @@ if is_master_commit: "lihaoyi:" + os.environ["SONATYPE_PASSWORD"], os.environ["GPG_PASSWORD"], "__.publishArtifacts" + "--release", + "true" ]) |