[glib: 2/2] Merge branch 'ci-docker-fun-times' into 'master'
- From: Emmanuele Bassi <ebassi src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [glib: 2/2] Merge branch 'ci-docker-fun-times' into 'master'
- Date: Mon, 16 Dec 2019 12:44:47 +0000 (UTC)
commit 988dd6adf8c013828ea6c5f1d8243f572901c5f8
Merge: b3981e97a 4546b9abf
Author: Emmanuele Bassi <ebassi gmail com>
Date: Mon Dec 16 12:44:16 2019 +0000
Merge branch 'ci-docker-fun-times' into 'master'
ci: Build Docker images rather than OCI images if using podman
See merge request GNOME/glib!1255
.gitlab-ci/run-docker.sh | 10 ++++++++++
1 file changed, 10 insertions(+)
---
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]