Skip to content
Snippets Groups Projects

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

Passed
Moul created pipeline for commit 25efadbe
, finished
For 118_enh_ci
4 minutes 54 seconds, queued for 10 seconds