Skip to content

Update CI

Vlastimil Zima requested to merge update-ci into master

Tweak the CI a bit.

Merge request reports