search

coq / vscoq

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

Fix coq-master CI #738

Closed rtetley closed 7 months ago

rtetley commented 7 months ago

I think merging #722 was a mistake as it was broken for coq-master branches.

SkySkimmer commented 7 months ago

Isn't it just that the docker image is outdated?

rtetley commented 7 months ago

Well it was breaking on my machine as well for the nix builds which now seem to be fixed. However for the opam coq-dev set-up there seems to be a problem indeed.

rtetley commented 7 months ago

Actually you're probably right, it's the pin in the flake.nix that's outdated... Will fix in a minute