Dear CI users,
The LDAP certificate for ci.inria.fr has been renewed: the certificate
was expired on 2023/04/05 and login was impossible on that day on CI
portal (ci.inria.fr) and CloudStack (login on virtual machines still
worked). You should no longer have difficulties to login on CI
Sorry for the inconvenience.