Skip to content

[DO NOT MERGE] manual release to maven central #7704

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
nhachicha wants to merge 5 commits into
base: releases
Choose a base branch
from
Draft

[DO NOT MERGE] manual release to maven central #7704

Changes from 1 commit
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
d0a031c
Update publish_release.sh
nhachicha Jul 16, 2022
bcf20d9
Update Jenkinsfile
nhachicha Jul 16, 2022
4e32c8a
Update Jenkinsfile
nhachicha Jul 16, 2022
4be9bd1
Update version.txt
nhachicha Jul 16, 2022
a75e48d
Update publish_release.sh
nhachicha Jul 16, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Update publish_release.sh
  • Loading branch information
@nhachicha
nhachicha authored Jul 16, 2022
commit d0a031ca2cd68615ea44caefa16c4b7c3d91a4ab
12 changes: 2 additions & 10 deletions tools/publish_release.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -166,13 +166,5 @@ notify_slack_channels() {
######################################\

check_env
verify_release_preconditions
verify_changelog

if [ "$1" != "verify" ]; then
create_javadoc
upload_to_mavenCentral
upload_debug_symbols
upload_javadoc
notify_slack_channels
fi
upload_to_mavenCentral
upload_debug_symbols