Closed tfr42 closed 9 months ago
This PR enables GitHub actions for building a Docker image and to push it to Docker hub. Also, the pipeline is extended to release the maven artifacts to repo.deegree.org.
This PR enables GitHub actions for building a Docker image and to push it to Docker hub. Also, the pipeline is extended to release the maven artifacts to repo.deegree.org.