Skip to content
Snippets Groups Projects

[ci] #118: Remove GitHub push in favor of GitLab mirroring feature

Blocked
Moul created pipeline for commit 05db60c4
1 related merge request: !128 Release 0.62.0
6 jobs