Skip to content

fix: use distinct critcmp group names for PR benchmark comparison#74

Merged
deepjoy merged 1 commit into
mainfrom
fail-fast
Mar 22, 2026
Merged

fix: use distinct critcmp group names for PR benchmark comparison#74
deepjoy merged 1 commit into
mainfrom
fail-fast

Commits

Commits on Mar 22, 2026