Can't fetch build cache from VSCode interface

Stream: mathlib4

[Etienne Marion]

A few weeks ago I read here about fetching build cache for the focused file rather than the whole cache from VSCode interface, which I found great because it's faster. But today it does not work anymore, I get the message:

Another project action is already being executed. Please wait for its completion.

I don't know which action it's talking about, but I get the same message when I try to fetch the whole cache from VSCode interface. lake exe cache get works fine though. Has anyone encountered the same issue? Is there a way to only fetch the cache for the focused file with command line? I was under the impression that there was not.

[Kim Morrison]

On the command line you should be able to use lake exe cache Mathlib/Data/List/Perm.lean.

[Kim Morrison]

The VSCode interface is working for me however. Does it persist through restarting VSCode?

[Shreyas Srinivas]

Did you reload the window by any chance?

[Etienne Marion]

Of course I forgot the most important rule, when there's an issue, restart! It works now, thanks to you both