From 1ee8a48eddb447205dbc693ba55e02bcc4dd0b5c Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Wed, 16 May 2018 16:39:19 +0200
Subject: [PATCH] add a build doc job

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e003875..22f5d20 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -22,6 +22,19 @@ build_pampa:
     - branches
     - master@PaMPA/PaMPA-p
 
+build_pampa_doc:
+  stage: build
+  artifacts:
+    expire_in: 42 minutes
+    untracked: true
+  script:
+    - cd build
+    - cmake .. -DPAMPA_BUILD_DOC=ON
+    - make -j5 doc
+  only:
+    - branches
+    - master@PaMPA/PaMPA-p
+
 test_pampa:
   stage: test
   dependencies:
-- 
GitLab