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