I've been poking around the build process, and noticed that remote_server takes a long time to compile (took me ~15min out of ~60min).
I'm assuming that remote_server is used for zed's collaboration features, which I'm not planning to use, and as far as I can tell are currently unused in gram?
If that's true, I think it would be helpful to:
- make building
remote_serveropt-in as part of the build scripts- this ought to speed up local builds
- adjust CI to build
gramandremote_serveras separate releases- this ought to parallelize the runners, and to allow downloading releases without
remote_server
- this ought to parallelize the runners, and to allow downloading releases without
- more clearly delineate the role
remote_serverhas ingram
If I'm wrong in my assumption, and/or misunderstanding rust build processes (as in, gram and remote_server cannot be built separately), please let me know.
(grepping for remote_server gives the impression just ripping it out would be a little messy, hence suggesting a bandaid fix to simply not build the binary, for now)