Is jcheck on GitHub PRs down?

[Severin Gehwolf]

On Mon, 2021-09-27 at 06:56 +0000, Lindenmaier, Goetz wrote:
> 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.

Sounds like a repeat of:
https://bugs.openjdk.java.net/browse/SKARA-1178

Erik, it seems it's not fixed after all?

Thanks,
Severin