Changes

Summary

1. chore: Add Gui and Library maven publish to Jenkinsfile (#3066) (details)

Commit 01f613671cb4635a0a5c23b85c40f1d52d0f3d00 by github chore: Add Gui and Library maven publish to Jenkinsfile (#3066)
	.jenkins/Jenkinsfile (diff)