cc @eliasnaur

Not sure whose running the Corellium builders these days, but it isn't me. Sorry. @changkun ?

Not sure if this is an issue that we want to bring it up regularly every few months.

The missing one currently needs to be turned off for debugging the environment for a very long time (since probably last Christmas.

I'd suggest reporting this as an issue only if both three need more than a week.

I am closing as missing one or two builders should not consider an issue but regular maintaining activities.

@eliasnaur Sorry about the wrong ping. I'm working on automated missing builder handling. It referenced the wrong builder owner.

@changkun We will handle these hosts differently then.