Is jcheck on GitHub PRs down?

[erik.joelsson at oracle.com]

Hello,

I believe I've found the underlying cause for the slowdown of the PR 
bot. I will be working on a fix today. In the meantime, regular restarts 
will alleviate the problem.

https://bugs.openjdk.java.net/browse/SKARA-1191

/Erik

On 2021-09-27 01:50, David Holmes wrote:
> 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
>>