search

coq / vscoq

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

Adding a warning as errors job in CI #782

Closed rtetley closed 4 months ago

gares commented 4 months ago

looks good to me, but the last commit shall be removed