Stream: coq-lsp

Topic: ✔ CI


view this post on Zulip r-muhairi (Mar 06 2023 at 03:21):

@Emilio Jesús Gallego Arias would it be fine if we switched the client-compile ci target to just use nix? I'll add a flake check target for its build.

This is alongside fixing the formatter phase which i'll just replace alongside if its fine client-compile with a single nix flake check run that'll do both.

view this post on Zulip Notification Bot (Mar 06 2023 at 20:17):

r-muhairi has marked this topic as resolved.


Last updated: Mar 28 2024 at 19:02 UTC