failed push release

Stream: general

[Yaël Dillies]

I'm bewildered. What happened to this job? https://github.com/leanprover-community/mathlib/runs/3578884554
Looks like everything from the build on failed.

[Scott Morrison]

I had a similar one earlier today. I suspect the runner crashed. You can hit "re-run jobs" in the top right.