[OpenIndiana-discuss] Build Server is stuck (?)

[Andreas Wacknitz]

Am 03.11.23 um 14:40 schrieb Stephan Althaus:
> Hello!
>
> As you might have noticed, the build server is stuck and does not
> build the recent PRs.
>
> Regards,
>
> Stephan
>
>
It's not the build server that is stuck, it's the PR check build system
that is having problems accessing github.
We are working on a fix.

Regards,
Andreas