Skip to content
Snippets Groups Projects

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

Passed
Moul created pipeline for commit 907e7528
, finished
For 118_enh_ci
3 minutes 59 seconds, queued for 1 seconds