@rdmueller this includes a Github Action to build (and smoke test) and push to Docker hub. This could be a blueprint to publish the doctoolchain (default) Docker image as well. If you are interested we could implement this together. From my point of view, currently I needed a lot of code duplication between the two builds, and there are even open TODOs with the current implementation.
Add Jenkins SSH Agent with docToolchain.
@rdmueller this includes a Github Action to build (and smoke test) and push to Docker hub. This could be a blueprint to publish the doctoolchain (default) Docker image as well. If you are interested we could implement this together. From my point of view, currently I needed a lot of code duplication between the two builds, and there are even open TODOs with the current implementation.