use is_ci_test instead of bench_name_ci#623
Open
smoors wants to merge 3 commits intoEESSI:mainfrom
Open
Commits
Commits on Nov 15, 2025
Commits on Nov 21, 2025
- committed
is_ci_test instead of bench_name_ci#623