Skip to content

Add dumux-docker-ci branch name to image names

Mathis Kelm requested to merge ci/dumux-docker-ci-branch-names into master

The names of images generated in dumux-docker-ci now include the name of the branch they were generated from (dumux-docker-ci#14, dumux-docker-ci!44). Pipelines can select images through the variable DUMUX_DOCKER_CI_BRANCH (default: master), which can be specified when manually starting a pipeline.

Merge request reports