3 Commits

Author	SHA1	Message	Date
Florian Müllner	e7512fcd79	ci: Rename Dockerfile ... Our primary image now comes from mutter, so the default Dockerfile name is free for our JS image. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1177	2020-04-28 09:04:49 +00:00
Florian Müllner	6d4b9d29b8	ci: Switch to mutter's docker image ... Mutter's CI now also builds gnome-shell to ensure that a MR doesn't break the shell. Its docker image has therefore been updated to contain all our deps as well, so we don't need our own image anymore. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/546	2019-05-17 20:52:44 +02:00
Florian Müllner	2d4989e937	ci: Add build stage ... So far we are only performing a basic syntax check on javascript sources; it's time to test the C code as well. As mutter is tightly coupled, we bite the bullet and build it as well, either using a matching branch (if it exists), or current master. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/408	2019-02-26 21:08:17 +00:00