Skip to content

Check PRs on newer Ubuntu runner#1725

Merged
danielcweber merged 2 commits into12.xfrom CheckPRsOnNewUbuntuSep 9, 2024