Merge branch 'feature/ci-receive-upstream-reference-sha' into 'master' (!150) · Merge requests · dumux-repositories / dumux-lecture · GitLab

Timo Koch requested to merge backport-ci into releases/3.4 Jun 02, 2021

[ci] receive upstream reference commit

See merge request !148 (merged)

(cherry picked from commit 2913cdd5)