I realized that we currently deploy the website at the same time as we release the libraries to maven central. If for some reason that release fails, then the website will mention a version that is not available.
This PR make it so that we only deploy the website after the release to maven has been successful.
I realized that we currently deploy the website at the same time as we release the libraries to maven central. If for some reason that release fails, then the website will mention a version that is not available.
This PR make it so that we only deploy the website after the release to maven has been successful.