Is jcheck on GitHub PRs down?

[David Holmes]

The bots are having another problem. It is being investigated.

David

On 27/09/2021 6:33 pm, Severin Gehwolf wrote:
> 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
>