Gitlab CI migration

Authored by rgomes on Nov 15 2019, 6:16 PM.