Skip to content
GitLab

CI: Update ubuntu build from 18.04 to 20.04

Merged Thibaut ROMAIN requested to merge ci-update-distribs into develop

Ubuntu 18 will be deprecated in april 2023, time to update to Ubuntu 20

Merge request reports