HasPrimitives on disc #9598

Stream: PR reviews

[Alex Kontorovich]

Could I please get some help on "HasPrimitives on disc" #9598? It was perfectly fine, and sitting around for a while, then developed a merge conflict, so I merged, and now I can't seem to resolve the build failure. In particular, when I try to lake exe cache get, nothing gets downloaded??? (Is this is a local problem only I'm having?...) Thanks for any help!

[Michael Stoll]

You could try lake exe cache get! to force the download.

[Alex Kontorovich]

Ah, thanks, I'll try that.