Skip to content
Snippets Groups Projects

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

Canceled
Moul created pipeline for commit 907e7528
, finished
Related merge request !95 to merge 118_enh_ci
merge request
5 jobs 12 seconds, queued for 3 seconds