shithub: dav1d

Download patch

ref: b8200c132ae4d3171eac1bd7ef6679d0483d99b9
parent: bf60f0ab4e329a19045c29eb90c5184f040d88b3
author: Konstantin Pavlov <thresh@videolan.org>
date: Fri Mar 6 18:16:50 EST 2020

CI: Add documentation CI job

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

Fixes #334.

--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,7 @@
     - 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 @@
                               -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/*