CI workers down?

[Marco de Abreu]

Hi,

I'm waiting for some PRs to finish validating, but it seems like there are
some issues with the UNIX CPU and GPU workers in CI. Is this a known
problem? Some jobs have been in the queue for more than 8 hours.

Best regards,
Marco