Skip to content

Update CI to Ubuntu 20.04

Pádraig Ó Conbhuí requested to merge update-ci-distro into master

Merge request reports