GitHub API: Forbidden for public repo

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

https://codecov.io/gh/viperproject/prusti-dev/src/d27d8fa49e08a058ac369be503825d4f283013b7/prusti-viper/src/encoder/procedure_encoder.rs

GitHub API: Forbidden

**Is the path  `prusti-viper/src/encoder/procedure_encoder.rs`  a relative path in your repository?**
[Learn how to apply path fixes in your configuration](https://docs.codecov.io/docs/fixing-paths).
Please [contact support](https://codecov.io/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