Romain Tetley
Romain Tetley
The CI failures are due to the yarn.nix files not being updated. Could you run the ```nix-shell -p yarn2nix --run "yarn2nix > ` yarn.nix"``` command in the client directory ?...
> The CI failures are due to the yarn.nix files not being updated. Could you run the `` nix-shell -p yarn2nix --run "yarn2nix > ` yarn.nix" `` command in the...
Yup, I know right ?! See here also: https://coq.zulipchat.com/#narrow/channel/237656-Coq-devs-.26-plugin-devs/topic/Github.20Windows.20runners.20randomly.20slow
@gares @SkySkimmer could you review before merge ?
I still get errors if I try to use Jump to Def in certain cases. For example: If I try to ```jump_to_def``` on ```True``` I will get the usual: ```...
> > If I try to jump_to_def on True I will get the usual: > > in the vscoq log do you see `No project file found for .../Logic.v` or...
> Right, we don't install _CoqProject so there's nothing to find. [HoTT/Coq-HoTT#2146](https://github.com/HoTT/Coq-HoTT/issues/2146) is a similar issue also [coq/coq#15924](https://github.com/coq/coq/issues/15924) I'm not sure I understand how that pertains to the error I...
> > Right, we don't install _CoqProject so there's nothing to find. [HoTT/Coq-HoTT#2146](https://github.com/HoTT/Coq-HoTT/issues/2146) is a similar issue also [coq/coq#15924](https://github.com/coq/coq/issues/15924) > > I'm not sure I understand how that pertains to...
I suppose this is a Coq/Rocq issue then ?