In CheckWorkItem, the bot would check whether this pull request has valid jcheck configuration and if not, the bot would post an error message of invalid jcheck configuration in the pull request.
Today, a user reported that he saw this error message in his pull request and he couldn't determine whether the pull request is good. After reading the log, I found that it's just a temporary glitch. The bot was trying to read jcheck configuration in GitHub but got HttpTimeoutException, so the bot posted the error message. But it recovers in the next try.
https://github.com/openjdk/panama-foreign/pull/893
To sum, in the cases of some temporary glitches, we shouldn't post error message to pull request to confuse users.
Today, a user reported that he saw this error message in his pull request and he couldn't determine whether the pull request is good. After reading the log, I found that it's just a temporary glitch. The bot was trying to read jcheck configuration in GitHub but got HttpTimeoutException, so the bot posted the error message. But it recovers in the next try.
https://github.com/openjdk/panama-foreign/pull/893
To sum, in the cases of some temporary glitches, we shouldn't post error message to pull request to confuse users.