Skip to content

ci: check benchmark timings only without coverage - #816

Merged
haakon-e merged 1 commit into
mainfrom
he/ci-coverage-timing
Oct 19, 2026
Merged

haakon-e merged 1 commit into
mainfrom
he/ci-coverage-timing

Commits

  1. Commits on Oct 19, 2026