Merge branch 'feature/ci-pages-only-on-master' into 'master' (!204) · Merge requests · dumux-repositories / dumux-course · GitLab

Merged Hamza Oukili requested to merge cherry-pick-e7624d46 into releases/3.7 Apr 03, 2023

[ci] run pages only on master

See merge request !149 (merged)

(cherry picked from commit e7624d46)

6643ae7a [ci] run pages only on master