diff options
| author | Simon Ser <contact@emersion.fr> | 2023-04-25 11:27:50 +0200 |
|---|---|---|
| committer | Daniel Stone <daniels@collabora.com> | 2023-04-25 09:39:46 +0000 |
| commit | fbf7fc351715aa1f05763bec73f7fc1aa97bc5bd (patch) | |
| tree | 08a1521add4b376bf8abd183a5279e2b87c6b2cf /.gitlab-ci | |
| parent | 77b4681f1640158e385fefc1a9140212fa71c519 (diff) | |
ci: use detached CI pipelines
See [1], required to allow contributors to trigger CI pipelines
for MRs. Example failure can be found at [2].
[1]: https://gitlab.freedesktop.org/freedesktop/freedesktop/-/issues/540#what-it-means-for-me-a-maintainer-of-a-project-part-of-gitlabfreedesktoporg
[2]: https://gitlab.freedesktop.org/i509VCB/wayland-protocols/-/jobs/40117393
Signed-off-by: Simon Ser <contact@emersion.fr>
Diffstat (limited to '.gitlab-ci')
0 files changed, 0 insertions, 0 deletions