In case you care:
GitHub confirms that this race condition can definitely happen. They don't
think it's a regression -- they think that a change they made a few weeks ago
simply made this behavior observable (at least in some cases).
They're talking through it internally, but apparently this i
To keep things moving, I removed ARM from the pull request checker until LANL
and ARM can get their builders back online.
You should be able to restart your build request builds and have them complete
now.
Brian
> On Mar 28, 2018, at 9:12 AM, Barrett, Brian via devel
> wrote:
>
> The ARM bu
The ARM builders are all down; it was ARM that caused the problems.
Brian
> On Mar 28, 2018, at 6:48 AM, Jeff Squyres (jsquyres)
> wrote:
>
> Several PR's from last night appear to be stalled in the community CI. I
> can't tell if they're stalled in ARM or SLES builds -- everything *appears*
Several PR's from last night appear to be stalled in the community CI. I can't
tell if they're stalled in ARM or SLES builds -- everything *appears* to be
done, but Jenkins doesn't think that they are done.
For example, on https://github.com/open-mpi/ompi/pull/4983:
* Corresponds to
https://j
SHORT VERSION
I have confirmed that there is a fun GitHub race condition that is sometimes
causing the commit email checker and the signed-off-by checker to sometimes
appear to hang (i.e., be stuck in the yellow dot). I have pushed up a fix;
hopefully this will address the issue.
MORE DETAIL
