Re: [OMPI devel] More GitHub commit checker CI fails

2018-03-28 Thread Jeff Squyres (jsquyres)
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

[OMPI devel] More GitHub commit checker CI fails

2018-03-28 Thread Jeff Squyres (jsquyres)
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