merge in fixes to remove_private#3940

Merged

KennethEnevoldsen merged 1 commit intoembeddings-benchmark:remove-privatefrom

bflhc:remove-private

Jan 15, 2026

Commits on Jan 15, 2026

fix: exclude private tasks from Borda rank calculation in RTEB
bflhc
committed