dune trace: move evaluated rules counter under debug#13027
Merged
rgrinberg merged 2 commits intoocaml:mainfrom Dec 21, 2025
Merged
dune trace: move evaluated rules counter under debug#13027rgrinberg merged 2 commits intoocaml:mainfrom
rgrinberg merged 2 commits intoocaml:mainfrom
Commits
Commits on Dec 21, 2025
- committed
- committed
