From f134a846df4591bee81916f8bf6c760f08a334f7 Mon Sep 17 00:00:00 2001
From: Tim Schubert <tim.schubert@tu-bs.de>
Date: Fri, 1 Jun 2018 14:08:44 +0200
Subject: [PATCH] Add test target for CI

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a8a17eb..761675c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,6 +5,7 @@ variables:
   CI_REPO_HOST: ips1.ibr.cs.tu-bs.de
 
 stages:
+  - test
   - sync
   - deadlines
   - plagiates
@@ -62,3 +63,11 @@ sync:
 
   except:
     - tags
+
+doc:
+  stage: test
+  tags:
+    - abgabesystem
+
+  script:
+    - make html