[SUSPECTED SPAM] Is jcheck on GitHub PRs down?

[Lindenmaier, Goetz]

Hi,

I observed this too.
Yesterday I thought the bots would not work at all, but then they
processed my PRs at some point.

But now again I am waiting for my 
/backport jdk11u-dev 
command for 30+min.
https://github.com/openjdk/jdk/commit/0544a732a44309bf7cbb44846dd9320c6096de17
I'll work around this by just making the downport PRs by hand.

Best regards,
 Goetz.


> -----Original Message-----
> From: jdk-dev <jdk-dev-retn at openjdk.java.net> On Behalf Of Jaikiran Pai
> Sent: Monday, September 27, 2021 8:46 AM
> To: jdk-dev <jdk-dev at openjdk.java.net>; skara-dev at openjdk.java.net
> Subject: [SUSPECTED SPAM] Is jcheck on GitHub PRs down?
> 
> 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
>