diff options
author | Konstantin Pavlov <thresh@videolan.org> | 2020-03-06 23:16:50 +0300 |
---|---|---|
committer | Konstantin Pavlov <thresh@videolan.org> | 2020-03-07 00:54:45 +0300 |
commit | b8200c132ae4d3171eac1bd7ef6679d0483d99b9 (patch) | |
tree | 29371aa5b90b489efcc867a1103e5af01c3a787f /.gitlab-ci.yml | |
parent | bf60f0ab4e329a19045c29eb90c5184f040d88b3 (diff) |
CI: Add documentation CI job
This requires a docker image with doxygen & dot installed, so bump it as
well.
Fixes #334.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 16 |
1 files changed, 15 insertions, 1 deletions
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/* |