Merge branch 'fix/separate-development-dependencies' into 'master' (!3373) · Merge requests · dumux-repositories / dumux

Merged Mathis Kelm requested to merge cherry-pick-e07e3e42 into releases/3.6 Feb 06, 2023

What this MR does / why does DuMux need it:

Backport !3371 (merged) to latest release 3.6 to fix CI errors caused by updated dependency.

Edited Feb 06, 2023 by Timo Koch