It appears we overwhelmed CI. There are a couple of running jobs (notably one is a macOS run which is taking about 2hrs as of now) but they are for PRs from 12hs ago at least. There are a multitude of queued runs for many recent PRs. The problem is that new runs (from force pushes) do not cancel previous runs so they remain queued apparently.
I will see what can be done to have new pushes cancel new pending runs. In the meantime we may have to manually cancel all queued workflows. Not sure if there's a mass cancel to be done. Best, Matias On Tue, Mar 30, 2021, at 15:33, Nathan Hartman wrote: > Hi, > > Does anyone know why the GitHub PR prechecks don't seem to be running? > > In particular, it seems that these four: > > * Build / Fetch-Source (pull_request) > * Build Documentation / build-html (pull_request) > * Check / check (pull_request) > * Lint / YAML (pull_request) > > are all stuck in "Queued -- Waiting to run this check..." > > for all PRs. > > Thanks, > Nathan >
