Host website is now slow to load and has "incorrect certificate"

[PranavJayachand]

Not sure if the maintainers of this repo are in charge of deployment, but wanted to bring this to attention. Certificate was fine yesterday, and still looks unexpired. (https://adam.math.hhu.de/#/g/leanprover-community/nng4/)

[TentativeConvert]

I cannot reproduce this. Website looks fine to me this morning.

[joneugster]

Generally, deployment issues are best logged at leanprover-community/lean4game but we try to monitor related repos like this one, too :)

If the issues you experience are persistent, it would be helpful if you tried to provide some debugging information. Like could it be an issue with your local setup (browser, device, location, vpn, ...)? orhow did you determine "slow" and what's the extended message about the certificate?