can't see CI errors

Stream: general

[Kevin Buzzard]

Am I doing something wrong? I just pushed a few commits to the undeprecate branch and about half an hour later went to https://github.com/leanprover-community/mathlib/runs/3156493850 and I can't see where the build fails. I can download oleans and compile locally and see where the problem is, but usually I can see the errors directly on GitHub.

[Eric Wieser]

I can see the github error just fine

[Eric Wieser]

src/analysis/analytic/inverse.lean:130:0

[Kevin Buzzard]

Aah -- I wasn't logged into GH!