mirrors/gstreamer
mirrors/gstreamer
1
1
Fork 0
mirror of https://gitlab.freedesktop.org/gstreamer/gstreamer.git synced 2024-11-05 09:00:54 +00:00
Code Issues 1 Projects Releases Wiki Activity

ci: pin hotdoc to 0.13.7 for 1.20 branch

Browse source 
0.14 causes build failures, see
https://gitlab.freedesktop.org/gstreamer/gstreamer/-/issues/1582#note_1669723

Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/3519>
This commit is contained in:
Tim-Philipp Müller 2022-12-04 12:43:02 +00:00
parent d87d33d3fe
commit b6dd757c12
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
.gitlab-ci.yml
View file

@ -639,7 +639,7 @@ valgrind ges:
CI_ARTIFACTS_URL: "${CI_PROJECT_URL}/-/jobs/${CI_JOB_ID}/artifacts/raw/"
script:
# FIXME: should rebuild the image with newer versions!
- pip3 install --upgrade hotdoc
- pip3 install --upgrade hotdoc==0.13.7
- pip3 install --upgrade meson==0.60.*
- *build
- ./gst-env.py ninja -C build/ plugins_doc_caches