From ef63edab94ce6867f08537fd46ceb8d8a2b16825 Mon Sep 17 00:00:00 2001
From: Ansgar Burchardt <Ansgar.Burchardt@tu-dresden.de>
Date: Fri, 18 Aug 2017 16:30:51 +0200
Subject: [PATCH] .gitlab-ci.yml: push `duneci/base:10` image

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f782c9e..3992254 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -114,6 +114,7 @@ publish:
  script:
  - docker push duneci/base:8
  - docker push duneci/base:9
+ - docker push duneci/base:10
  - docker push duneci/base:16.04
  - docker push duneci/base:16.10
  - docker push duneci/base:8-backports
-- 
GitLab