[Pharo-dev] Main pillar web site?

Hello Where is the main Pillar web site Google for pillar Pharo gives as first hit https://ci.inria.fr/pharo-contribution/job/PharoProjectCatalog/HTML_Report/P... which is an untrusted connection. Is it safe to continue? Regards Hannes