From 8d86f4ba5c8f372121058f84802f3a29dbe13dd8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Fri, 7 Jun 2019 12:24:16 +0200 Subject: [PATCH] temporarily build docs on feature/#3-add-odoc-to-website branch --- .gitlab-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index eb2dc2253..56df80ed6 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -161,4 +161,4 @@ pages: only: - master - dev - + - feature/#3-add-odoc-to-website