Skip to content

Merge branch 'feature/docker-util-script' into 'master'

Timo Koch requested to merge cherry-pick-69b418bc into next

[docker][utils] Add script to build docker image for extracted modules (dumux-pub)

See merge request !547 (merged)

Merge request reports