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:
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml8
1 files changed, 8 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 039ecc1..db8fefd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -139,6 +139,14 @@ build-debian-examples:
-Denable_examples=true
- ninja -C build
+build-debian-no-tools:
+ extends: .debian-amd64-common
+ script:
+ - meson build --buildtype release
+ --werror
+ -Denable_tools=false
+ - ninja -C build
+
build-win32:
extends: .debian-amd64-common
script: