From b8200c132ae4d3171eac1bd7ef6679d0483d99b9 Mon Sep 17 00:00:00 2001
From: Konstantin Pavlov <thresh@videolan.org>
Date: Fri, 6 Mar 2020 23:16:50 +0300
Subject: CI: Add documentation CI job

This requires a docker image with doxygen & dot installed, so bump it as
well.

Fixes #334.
---
 .gitlab-ci.yml | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

(limited to '.gitlab-ci.yml')

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 09a6f7c..6a747b4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,7 @@ stages:
     - test
 
 .debian-amd64-common:
-    image: registry.videolan.org:5000/dav1d-debian-unstable:20190215130514
+    image: registry.videolan.org/dav1d-debian-unstable:20200306141107
     stage: build
     tags:
         - docker
@@ -416,3 +416,17 @@ test-debian-armv7-clang-5:
                               -Dlogging=false
         - ninja -C build
         - cd build && time meson test -v
+
+pages:
+    extends: build-debian
+    script:
+        - meson build --buildtype release
+                      --werror
+        - ninja -C build doc/html
+        - mv build/doc/html public
+    artifacts:
+        paths:
+            - public
+    only:
+        changes:
+            - include/dav1d/*
-- 
cgit v1.2.3