Skip to content

Debian refactor

Tobias Leibner requested to merge debian_refactor into master

Created by: renefritze

Refactored lots of stuff into mix-images via multi-stage builds. For example: https://github.com/dune-community/Dockerfiles/compare/debian_refactor?expand=1#diff-445d642ceb41365649bf3c41c5fe7acbR9

Dropped the dailywork_ prefix.

Merge request reports