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:
authorMarvin Scholz <epirat07@gmail.com>2018-10-01 11:36:22 +0300
committerJean-Baptiste Kempf <jb@videolan.org>2018-10-02 12:39:43 +0300
commit4c7f424c802dcafb459cc5a14ab93e71b32897af (patch)
tree6d4cca19c50a87a7d9a7f3502ba55cbcafcab760 /.gitlab-ci.yml
parent9684908d2ffa1dc0a80a02c335d7a4302eecb13f (diff)
CI: Add a static build on debian
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml11
1 files changed, 11 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cbf5aaf..80deecf 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -12,6 +12,17 @@ build-debian:
- ninja -C build
- cd build && meson test -v
+build-debian-static:
+ image: registry.videolan.org:5000/dav1d-debian-unstable:20180928151533
+ stage: build
+ tags:
+ - debian
+ - amd64
+ script:
+ - meson build --buildtype release --default-library static
+ - ninja -C build
+ - cd build && meson test -v
+
build-win32:
image: registry.videolan.org:5000/dav1d-debian-unstable:20180928151533
stage: build