From ee2976b58e7d79cb27a74763566b2f79f091e75f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20M=C3=B6bius?= <moebius@cs.rwth-aachen.de>
Date: Tue, 29 May 2018 10:23:36 +0200
Subject: [PATCH] Runs sources step

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 95d8d1d6..0d002149 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -345,3 +345,7 @@ Doc-publish:
   script: "CI/ci-doc.sh"
   tags:
      - Linux
+
+Sources:
+  script: "CI/ci-source.sh"
+