From 2e97ba316dcfe8554f17e3fc88a82cbe0b79ec44 Mon Sep 17 00:00:00 2001 From: Benjamin Berg Date: Wed, 11 Dec 2019 10:59:03 +0100 Subject: [PATCH] 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 --- .gitlab-ci/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci/Dockerfile b/.gitlab-ci/Dockerfile index 6d2548c18..9accc9756 100644 --- a/.gitlab-ci/Dockerfile +++ b/.gitlab-ci/Dockerfile @@ -1,8 +1,8 @@ # Rebuild and push with # # cd .gitlab-ci/ -# docker build --no-cache -t registry.gitlab.gnome.org/gnome/mutter/master:v3 . -# docker push registry.gitlab.gnome.org/gnome/mutter/master:v3 +# podman build --format docker --no-cache -t registry.gitlab.gnome.org/gnome/mutter/master:v3 . +# podman push registry.gitlab.gnome.org/gnome/mutter/master:v3 # FROM fedora:31