Problems with GitHub/Skara/JBS/8u-dev integrations?

Volker Simonis volker.simonis at gmail.com
Fri Nov 25 10:52:58 UTC 2022


Hi,

I've tried to "/integrate" an approved backport to
https://github.com/openjdk/jdk8u-dev but after more than two hours
still nothing happened. Are there any known problems with
GitHub/Skara/JBS or the specific 8u-dev repo. Usually integrations
happen within minutes.

Is there any way to monitor whats going on behind the scenes (i.e.
what the Skara bots are doing)?

Thank you and best regards,
Volker

PS: my PR is https://github.com/openjdk/jdk8u-dev/pull/183


More information about the jdk8u-dev mailing list