Profiling Dune

Dune writes detailed trace data about internal operations (such as command timing) to _build/trace.csexp by default. Use --trace-file FILE to write to a different location.

To load traces into Chromium’s chrome://tracing or Perfetto, convert them to Chrome trace format:

$ dune trace cat --chrome-trace > trace.json