2 Commits

Author	SHA1	Message	Date
Florian Müllner	3b49ecea9f	Rename the master branch to main ... It's a more inclusive name, has the same tab-completion prefix, and is the default choice for new repositories created locally by git, and on GitHub and GitLab. Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1930>	2021-07-18 23:14:16 +02:00
Niels De Graef	3bc15ade04	ci: Generate a cover report for the test suite ... Based on @ebassi's work from https://gitlab.gnome.org/GNOME/glib/merge_requests/769 This MR allows us to see the succeeded/failed tests each time the CI pipeline is run. https://gitlab.gnome.org/GNOME/mutter/merge_requests/528	2020-10-15 10:18:44 +02:00