Migrating from Jenkins to Gitlab

Running two CIs in parallel is too exhausting, so now let’s focus on gitlab.