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

[Till Wegmueller]

Hello All

The PR builder could be repaired and the queue got processed.
Everything is working again as expected.

-Till

On 03.11.2023 14:43, Andreas Wacknitz wrote:
> 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
>
> _______________________________________________
> openindiana-discuss mailing list
> openindiana-discuss at openindiana.org
> https://openindiana.org/mailman/listinfo/openindiana-discuss