Skip to content
GitLab

Remove github pipeline as its not required

1 job for test_merge_upstream in 9 minutes and 26 seconds (queued for 3 seconds)
473a0b2b
1 related merge request: !23 Draft: Merge changes from upstream