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

gitlab.freedesktop.org/gstreamer/gst-plugins-rs.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/ci
diff options
context:
space:
mode:
authorSebastian Dröge <sebastian@centricular.com>2020-07-28 09:29:45 +0300
committerSebastian Dröge <sebastian@centricular.com>2020-07-28 09:47:00 +0300
commit04e98f930604bb8efc9798a6d2298665a607ea6b (patch)
treeff597cf8ccdcd046f850d5146f74b23678dedd02 /ci
parent3189ab6e814548390057306a1caff1c95d6bbe80 (diff)
ci: Update CI image for dav1d 0.7.1
Diffstat (limited to 'ci')
-rw-r--r--ci/install-dav1d.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/install-dav1d.sh b/ci/install-dav1d.sh
index be806bc4d..12c0fe7ae 100644
--- a/ci/install-dav1d.sh
+++ b/ci/install-dav1d.sh
@@ -1,4 +1,4 @@
-RELEASE=0.6.0
+RELEASE=0.7.1
git clone https://code.videolan.org/videolan/dav1d.git --branch $RELEASE
cd dav1d