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
..
check-commit-log.sh	ci: Sync check-commit-log script with mutter	2019-02-26 21:08:17 +00:00
checkout-mutter.sh	ci: Improve script output	2019-04-26 21:32:51 +02:00
Dockerfile.extension-ci	ci: Use custom image for JS checks	2019-02-26 21:08:17 +00:00