[ci] Test against dumux-lecture 3.5 (!3412) · Merge requests · dumux-repositories / dumux · GitLab

Merged Timo Koch requested to merge timok-releases/3.5-patch-10562 into releases/3.5 Feb 28, 2023

Note: tests against dune-maste have already been removed.