issues
search
coq
/
vscoq
Visual Studio Code extension for Coq
MIT License
335
stars
68
forks
source link
Update doc. Tweak ci.
#827
Closed
rtetley
closed
2 months ago
rtetley
commented
2 months ago
Added the correct opam instruction for pre-releases
Made sure the cd workflow does not run on pre-releases