From 6ee66e8c84d8360c4177bec5b44b7bf2ed9c65b7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Mon, 16 Apr 2018 14:04:13 +0200
Subject: [PATCH] Update .gitlab-ci.yml