23 Oct
2017
23 Oct
'17
3:41 p.m.
This has happened to me at least twice. FWIW closing the PR and re-opening it triggers a new sequence of checks and fixes the problem.
Xavier