Andrea Veri commented:
The runner is not managed by the GNOME Infrastructure Team but by @creiter instead. Thanks!