Skip to content

ci: detach PR benchmark reports from head checks - #130

Merged
kryptt merged 1 commit into
mainfrom
ci/detach-pr-benchmarks
Oct 7, 2026
Merged

kryptt merged 1 commit into
mainfrom
ci/detach-pr-benchmarks