Skip to content
Snippets Groups Projects

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

Canceled
Moul created pipeline for commit f33a2c1a
, finished
Related merge request !95 to merge 118_enh_ci
merge request
5 jobs 7 seconds, queued for 1 seconds