Benjamin Berg 2e97ba316d ci: Change instructions to use podman ... Podman can also be used to create the image. The only thing to keep in mind with podman is to add --format docker, so that the image will be compatible with all CI runners. https://gitlab.gnome.org/GNOME/mutter/merge_requests/966		2019-12-11 12:56:28 +01:00
..
check-commit-log.sh	ci: Print all the commits that need bug references	2019-10-23 10:58:07 +02:00
checkout-gnome-shell.sh	ci: Fix checkout out gnome-shell on stable branches	2019-11-07 00:06:25 +01:00
Dockerfile	ci: Change instructions to use podman	2019-12-11 12:56:28 +01:00