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