Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/videolan/dav1d.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthias Dressel <code@deadcode.eu>2021-12-17 18:40:01 +0300
committerMatthias Dressel <code@deadcode.eu>2021-12-29 19:25:37 +0300
commit3e5b7d377037888ef4c74fe268f71f6b935124ab (patch)
treeab0216c01d2df79d13e471b2f58bc844c8c52911 /.gitlab-ci.yml
parent5e67cfd8062c949a81bac6b2d5ce6e6fbfd8978e (diff)
CI: Add enable_docs option
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b844803..000eaa5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -674,6 +674,7 @@ test-debian-armv7-clang-5:
script:
- meson build --buildtype release
--werror
+ -Denable_docs=true
- ninja -C build doc/html
- mv build/doc/html public
artifacts: