Skip to content

gitlab-ci: allow manually triggering of pipelines

Right now, it is only possible to trigger a pipeline by opening a merge request. This lets anyone trigger a pipeline from the "Run Pipeline" button and the WebIDE. @uniqx @grote

Merge request reports