Repository navigation
FIX: reject a threshold aggregator that does not combine scores - #2877
Merged
Roman Lutz (romanlutz) merged 7 commits intoOct 10, 2026
Merged
Roman Lutz (romanlutz) merged 7 commits into
Roman Lutz (romanlutz) merged 7 commits into
Commits
Commits on Sep 26, 2026
Commits on Oct 9, 2026
Commits on Oct 10, 2026