Permission issues might be better solved with `sudo chmod -R a=u .`

[MSoegtropIMC]

I had some issues with permissions and artifact upload. I found that sudo chmod -R a=u . - which copies all permissions from user to group and other - works better for me than the recommended sudo chown -R coq:coq . (See ReadMe). It also has the advantage that one doesn't need to undo it later.

I would consider changing the documentation here.

[JasonGross]

I've been using sudo chmod -R a+rw ., but I think I might like your solution even better

[Hexirp]

Thank you, that's a good idea.