Re: GitLab maintenance has started

I can confirm that! Great! [Attached screenshot shows runners online in the GitLab Runners Admin UI] On Thu, Nov 24, 2022 at 11:49 AM Moritz Angermann wrote:

The zw3rk runners should be back.

On Thu, 24 Nov 2022 at 17:41, Bryan Richter via ghc-devs wrote:

...

Hello again,

After a few surprises, I have finished my migration.

Unfortunately, CI IS STILL BROKEN.

All CI runners disabled themselves while GitLab was in maintenance mode. (That's not very helpful, but never mind.)

As I do not have the access or privileges required to restart the runners, they will stay dead until the proper people can restart them.

Sorry for the trouble!

-Bryan

On Thu, Nov 24, 2022 at 8:15 AM Bryan Richter wrote:

...

Hi all,

I've started the migration, so the maintenance period has officially started.

GitLab itself will go read-only soon.

As a reminder, I scheduled 4 hours for the maintenance window.

I'll send updates at major points of the migration.

-Bryan

_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs