| status |
|---|
accepted |
Currently, when a compilation process is interrupted, it has to be restarted from scratch. Partial recompilation will save time.
This would require the compilation of an item rep to be a single independent unit that updates the dependency graphs etc. I’m not sure how feasible this is.