Feed all CI jobs into a single required job #932
Description
To make it easier to add/remove required jobs, we can have only a single check be required at the GitHub level, and all other jobs can feed into it
{{ message }}
To make it easier to add/remove required jobs, we can have only a single check be required at the GitHub level, and all other jobs can feed into it