Well, it was deprecated a long time ago (and so removed from public DNS) and all people using it were aware of that.asimpson wrote: ↑2023/03/16 02:00:53It appears that https://ci.centos.org/ is either down or reporting an insecure SSL certificate.
Why do you think it should be up ?