doc: require CI status indicator in PRs
Commits are often landed despite failing on one or more CI platforms. Having a CI status indicator in the PR should make this less likely to happen.
Examples from the last 6 months:
66451267 f912080b aa011a11 a6973a38
Checklist
-
commit message follows commit guidelines
Affected core subsystem(s)
doc