FYI, there is some other problem with this job now, possibly having to do with prevalidated merge commits not getting correctly loaded after a Jenkins restart. It may clear up on its own when new commits are pushed to GitHub; if not, ping me.

Reply via email to