Skip to content

CI fixes after distro update

Oto Šťáva requested to merge ci-update-fixes into master

Lots of basically meaningless gruntwork.

See commits.

Merge request reports