Merge branch 'main' into pr/rescore

This commit is contained in:
Alex Garcia 2026-03-31 01:12:50 -07:00
commit 45d1375602
8 changed files with 122 additions and 27 deletions

View file

@ -49,6 +49,7 @@ bench-rescore: seed
$(BENCH) --subset-size 10000 -k 10 -o runs/rescore \
$(RESCORE_CONFIGS)
# --- Standard sizes ---
bench-10k: seed
$(BENCH) --subset-size 10000 -k 10 -o runs/10k $(ALL_CONFIGS)