Sometime I write Arduino code on a slow Windows laptop that I use for controlling hardware projects and 3D printing.
My main Windows computer and also my Linux home server are located somewhere else but are much faster and I would like to use those for compilation.
Remote Desktop or equivalent are not practical due to different screen resolutions. Also, my main Windows machine is not always on, only the server is, but it has no GUI installed.
The sources are already located on a shared network folder and I use an external editor for the code. Arduino IDE just does compilation and sometimes upload (which often I could do via OTA).
How to delegate compilation of Arduino projects to a remote machine?