If the job queue is down, that wouldn't help, would it?
On my repo the jobs do not get scheduled on the PRs at all, so I assume that separation wouldn't help for todays issue.
On my repo the jobs do not get scheduled on the PRs at all, so I assume that separation wouldn't help for todays issue.