It was decided that Jenkins is going to be retired at the end of 2021. There is still a few jobs that needs to be migrated to Gitlab CI. This milestone will track the progress of the retirement.