build.gnome.org: Fix task name display