building timing reports with dune#2234

Draft

Alizter wants to merge 6 commits intoHoTT:masterfrom

Alizter:dune-timing

Commits on Feb 25, 2025

Commits on Mar 18, 2025

generate .timing files with dune
Alizter
committed

Commits on Mar 19, 2025