[CI] test coq 8.20 - Githubissues

coq / vscoq

Visual Studio Code extension for Coq

MIT License

335 stars 68 forks source link

Closed gares closed 2 months ago

gares commented 2 months ago

the problem is another ifdex that I probably fucked up

gares commented 2 months ago

Evd.evar_universe_context is now called Evd.ustate, I forgot to do the PR for master.

gares commented 2 months ago

I'm a bit lost, why does nix not pick the same "coq master"?

rtetley commented 2 months ago

You have to update it "a la mano" (by changing the pin in the flake.nix) which I just did by rebasing