ci on master is failing

Stream: mathlib4

[Johan Commelin]

https://github.com/leanprover-community/mathlib4/actions/runs/3771189144/jobs/6411447096

[Gabriel Ebner]

Apparently github was down temporarily, build works after restarting.