CI fails to catch elan

Stream: maths

[Jakob von Raumer]

The tests on my PR fail by

info: downloading installer
curl: (22) The requested URL returned error: 404
elan: command failed: curl -sSfL https://github.com/leanprover/elan/releases/download//elan-x86_64-unknown-linux-gnu.tar.gz -o /tmp/tmp.G6vxH0uJPB/elan-init.tar.gz
Error: Process completed with exit code 1.

Does anyone know if that's because im too much behind master or is there just some outage?

[Yaël Dillies]

This has been fixed a few days ago. Merge master.