Gcc debian buildbots stopped working?

The “gcc-debian” and “stable-gcc-debian” builders on @jwe’s buildbots seem to have stopped working.
Is this intentional?

Afaict, most(?) of the Octave developers work with Debian or Ubuntu and with gcc. So, we’d probably notice anyway if something went wrong on that platform and compiler. But it might still be good to have changes checked by those builders.

No, not intentional. I’m not sure what happened this time, but the buildbot service on one of the systems was in the “masked” state where it won’t start. Anyway, I fixed that and restarted it.