From 8934a5a9052dbf40a7d0e7c9f15174c187b09592 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:31:31 +0200
Subject: [PATCH] Added a source stage

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0d002149..57bda5f5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -347,5 +347,12 @@ Doc-publish:
      - Linux
 
 Sources:
+  only:
+     - master
   script: "CI/ci-source.sh"
+  artifacts:
+    paths:
+      - *.zip
+      - *.tar.bz2
+      - *.tar.gz