diff options
-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" ]) |