Skip whole CI legs for documentation/.github-only PRs#14384
Open
jankratochvilcz wants to merge 6 commits into
Open
Skip whole CI legs for documentation/.github-only PRs#14384jankratochvilcz wants to merge 6 commits into
jankratochvilcz wants to merge 6 commits into