Cleanup the GitHub workflows after moving to the GitHub pages #194
Description
The workflow files should be cleaned up: the docker image with the documentation portal and the corresponding helm chart are not needed anymore.
{{ message }}
The workflow files should be cleaned up: the docker image with the documentation portal and the corresponding helm chart are not needed anymore.