Merge branch 'feature/ci-lecture-branch-as-variable' into 'master'
[ci] Make triggered dumux-lecture branch a variable
See merge request !2819 (merged)
(cherry picked from commit c0aa0c60)
890f79c7 [ci] Make triggered dumux-lecture branch a variable