mirror of
https://github.com/enso-org/enso.git
synced 2024-12-01 06:02:46 +03:00
8a50e8f930
- Change dev profile settings. Improves build performance; will not affect anything else. Details below. - Introduce script for benchmarking various incremental builds. Usage is explained in the script comments. - Add a line to `intervals` showing total main-thread CPU work logged in a profile; this can be used to compare the results of optimizations (I'll be starting a discussion informed by that data separately; this change just enables the tooling to report it). |
||
|---|---|---|
| .. | ||
| data | ||
| flame-graph | ||
| macros | ||
| src | ||
| Cargo.toml | ||