That solved the issue: https://hydra.gnu.org/jobset/gnu/master However, relying on this customized variant of an old Hydra isn’t really viable IMO. We should consider switching hydra.gnu.org to a config similar to that of berlin and bayfront. Thanks, Ludo’.