mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-10-02 08:42:32 +00:00
142f24043d
The valgrind runs are there to spot obvious problems during the dev phase, not sure we really need to run them in full after each merge. Should reduce load on the build bots a little. If any problems slip in they will be picked up soon enough by the MR jobs again. |
||
---|---|---|
.. | ||
build_manifest.py | ||
ci_template.yml | ||
clone_manifest_ref.py | ||
freedesktop_doc_importer.sh |