ci: increase SWT-Bench default parallelism to 16 workers / 50 batch#534
Closed
simonrosenberg wants to merge 2 commits into
Closed
ci: increase SWT-Bench default parallelism to 16 workers / 50 batch#534simonrosenberg wants to merge 2 commits into
simonrosenberg wants to merge 2 commits into
