Skip to content

Reduce number of CI jobs#1876

Merged
bmagyar merged 2 commits intomasterfrom ci/updatesNov 14, 2024