projects / platform / upstream / gstreamer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 404bfbd) | patch
ci: pin hotdoc to 0.13.7 for now, 0.14 has a regression
authorNirbheek Chauhan <nirbheek@centricular.com>
Mon, 5 Dec 2022 12:40:14 +0000 (18:10 +0530)
committerGStreamer Marge Bot <gitlab-merge-bot@gstreamer-foundation.org>
Sat, 10 Dec 2022 15:13:09 +0000 (15:13 +0000)
commit5e3967fbff09ae08796b399f488329587777938f
treee173ffabc5ad85f54a7b897d5f541b613c08897btree | snapshot
parent404bfbd6d86d4731084ee8ea03bbb357dee500f4commit | diff
ci: pin hotdoc to 0.13.7 for now, 0.14 has a regression

```
ERROR: [links]: (mandatory-link-not-found): Mandatory link Link GstGLSinkBin -> None (GstGLSinkBin) could not be resolved
ERROR: [links]: (mandatory-link-not-found): Mandatory link Link GstRTPMux -> None (GstRTPMux) could not be resolved
ERROR: [links]: (mandatory-link-not-found): Mandatory link Link GstSRTSink -> None (GstSRTSink) could not be resolved
ERROR: [links]: (mandatory-link-not-found): Mandatory link Link GstSRTSrc -> None (GstSRTSrc) could not be resolved
```

Same change was already made in the 1.20 branch:

https://gitlab.freedesktop.org/gstreamer/gstreamer/-/issues/1582#note_1669723

Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/3527>
ci/docker/fedora/prepare.sh diff | blob | history
Domain: Multimedia / Media Common;