Auto-Deploy of Maven site
The Maven site should be automatically deployed.
See discussion at: https://forum.orekit.org/t/automatically-deploy-maven-site/654
The Maven site should be automatically deployed.
See discussion at: https://forum.orekit.org/t/automatically-deploy-maven-site/654