projects / platform / upstream / gstreamer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8bbdd9a) | patch
ci: remove jenkins files which are no longer used
authorTim-Philipp Müller <tim@centricular.com>
Mon, 21 Feb 2022 09:42:49 +0000 (09:42 +0000)
committerGStreamer Marge Bot <gitlab-merge-bot@gstreamer-foundation.org>
Tue, 22 Feb 2022 10:49:49 +0000 (10:49 +0000)
commite3ae87a6481f6cf94615488053c7d0f35e834067
tree34afbdd59d383afd30db3095657203040bb05002tree | snapshot
parent8bbdd9addb41d413b06e4da5282a4166d762610fcommit | diff
ci: remove jenkins files which are no longer used

Fixes #1031

Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/1763>
ci/README.txt diff | blob | history
ci/jenkins/Jenkinsfile-cerbero-debian [deleted file] blob | history
ci/jenkins/Jenkinsfile-master-fedora [deleted file] blob | history
ci/jenkins/Jenkinsfile-master-ubuntu [deleted file] blob | history
ci/jenkins/Jenkinsfile-meson-fedora [deleted file] blob | history
Domain: Multimedia / Media Common;