Stream: Dune devs & users

Topic: ✔ variable coq:version and nix


view this post on Zulip Romain Tetley (Feb 02 2024 at 08:15):

Thanks a lot ! I think I finally understand, in the file there is a devShells.default. Just don't know why the ci used .#vscoq-language-server then...

view this post on Zulip Notification Bot (Feb 02 2024 at 08:15):

Romain Tetley has marked this topic as resolved.


Last updated: May 25 2024 at 20:01 UTC