Skip to content

CI: Some more improvements

georg requested to merge ci-further-improvements into master

Some more CI related improvements, please have a look into the individual commit messages.

Edited by georg

Merge request reports