SSL errors when installing elan

Stream: general

[Eric Wieser]

mathlib builds are currently failing with

curl: (60) SSL certificate problem: certificate has expired
More details here: https://curl.se/docs/sslcerts.html

curl failed to verify the legitimacy of the server and therefore could not
establish a secure connection to it. To learn more about this situation and
how to fix it, please visit the web page mentioned above.

[Yaël Dillies]

This is due to GitHub changing their SSH key last night. Someone should update it.

[Bryan Gin-ge Chen]

(deleted)

[Gabriel Ebner]

SSL != SSH

[Gabriel Ebner]

Either way, it seems to be fixed now.

[Yaël Dillies]

Whoops, misread indeed