Skip to content

Optimize dependencies for dev build

Julian Hofer requested to merge dev-profile into main

We currently recommend to use release build since it speeds up execution significantly. However, that also increases the compilation time after local changes. It also means that you can't debug a.g.o

This commit sets the optimization level of external dependencies to 3. That way the execution time stays small, while allowing debugging and fast iteration.

Merge request reports