Skip to content
Snippets Groups Projects

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

Passed
Moul created pipeline for commit 05db60c4
, finished
Related merge request !95 to merge 118_enh_ci
merge request
5 jobs 5 minutes 35 seconds, queued for 14 seconds