Is jcheck on GitHub PRs down?

[Jaikiran Pai]

In some of the recent PRs, I'm seeing that the "jcheck" job is no longer 
running. Is that intentional or is that job currently down?

Sample PRs:

https://github.com/openjdk/jdk/pull/5709

https://github.com/openjdk/jdk/pull/5710

I am also seeing some other odd issues (where an review/approval doesn't 
trigger the PR description to be updated with reviewers), perhaps those 
are related to this same bot/job?

-Jaikiran