Skip to content

perf: prefetch the next candidates' text in the merge loop (independent) - #12

Merged
rob-p merged 1 commit into
COMBINE-lab:mainfrom
BenjaminDEMAILLE:perf/merge-prefetch
Aug 12, 2026
Merged

perf: prefetch the next candidates' text in the merge loop (independent)#12
rob-p merged 1 commit into
COMBINE-lab:mainfrom
BenjaminDEMAILLE:perf/merge-prefetch

perf: prefetch the next candidates' text in the merge loop

80ee097
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs