GitHub workflow to publish the relocated artifacts#2318

Merged

paul-dingemans merged 2 commits intomasterfrom maven-relocation-via-separate-workflow

Oct 14, 2023

+38-149

Commits on Oct 14, 2023

Revert publish workflow to "Maven" Publication only. Use a separate GitHub workflow to publish the relocated artifacts
paul-dingemans
committed
Fix lint violations
paul-dingemans
committed