Skip to content

fix: rename targets to benchmarks in the project_config to match spec#220

Merged
GuillaumeLagrange merged 1 commit intomainfrom
rename-targets-to-benchmarks
Jan 26, 2026
Merged

fix: rename targets to benchmarks in the project_config to match spec#220
GuillaumeLagrange merged 1 commit intomainfrom
rename-targets-to-benchmarks

Commits

Commits on Jan 26, 2026