Skip to content

fix the divan usage for codspeed#8710

Merged
sylvestre merged 2 commits intouutils:mainfrom
sylvestre:codspeed
Sep 22, 2025
Merged

fix the divan usage for codspeed#8710
sylvestre merged 2 commits intouutils:mainfrom
sylvestre:codspeed

Commits

Commits on Sep 22, 2025