Closed rlepigre closed 1 month ago
@rlepigre please trigger the coq-ci again for coq-lsp and after, for serapi (as it will need to use the new artifacts)
Upstream merged, please merge
@rlepigre please trigger the coq-ci again for coq-lsp and after, for serapi (as it will need to use the new artifacts)