From 1fb52ba9712ef8d1a8af66deb778c432a383d6b8 Mon Sep 17 00:00:00 2001
From: Olivier Bertrand <olivier.bertrand@uni-bielefeld.de>
Date: Wed, 2 May 2018 22:16:24 +0200
Subject: [PATCH] Update .gitlab-ci.yml
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 37df8f0..766fb46 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -33,6 +33,7 @@ doc_build:
- pip3 install --user sphinx sphinx-rtd-theme
- cd doc ; make html
- mv build/html/ ../public/
+ - ls build/html/
artifacts:
paths:
- public
--
GitLab