build robot location moved during gitlab switch?

Hi, in ./doc/sphinx/prog.rst line 118 it is written:

A build robot hosted at 3SR lab. <http://www.3s-r.hmg.inpg.fr/3sr/?lang=en>__ is tracking souce code changes. ... The buildbot activity and logs can be `browsed online https://yade-dem.org/buildbot/

Is that still correct?