search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
335 stars 68 forks source link

Adapt to coq/coq#18973. #778

Closed rlepigre closed 3 months ago

rtetley commented 4 months ago

Thanks !

rlepigre commented 4 months ago

@rtetley I had to rebase, I'm not sure what your flake.lock changes were about, but I had to drop them due to conflicts.

rtetley commented 4 months ago

Ah sorry, that was probably a mistake...

proux01 commented 3 months ago

Upstream merged, please merge

rtetley commented 3 months ago

There is a release in progress, I will merge as soon as that is done.

SkySkimmer commented 3 months ago

ping @rtetley @gares

gares commented 3 months ago

@rtetley I believe you did block this branch for a reason. Can we release the lock and merge?

rtetley commented 3 months ago

I was waiting for https://github.com/ocaml/opam-repository/pull/26087 so that I can finalise the release process but after double checking I can unlock and perform the action from the tag later

rtetley commented 3 months ago

Ugh sorry I used the github interface to resolve a conflict which led to a merge of main into this branch... I preferred to fix it with a rebase