Skip to content

Several CI improvements

Ondrej Holy requested to merge wip/oholy/ci into master

See commit descriptions for more details.

Merge request reports