GitHub API: Forbidden for public repo

The following Codecov page shows a “GitHub API: Forbidden” error message

GitHub API: Forbidden

**Is the path  `prusti-viper/src/encoder/`  a relative path in your repository?**
[Learn how to apply path fixes in your configuration](
Please [contact support]( for questions."

However, that file exists (same commit hash) and is public:

@fpoli, this should be resolved, are you still seeing the issue?

Yes, I still see the error if I open the link mentioned in my first message. (I even tried a different browser.)

@fpoli, this is typically a permissions issue. Could you try deleting your cookies and logging back in?

I tried again (without deleting cookies or logging out) and the error disappeared :+1:

1 Like