Merge remote-tracking branch 'origin/master'

This commit is contained in:
Joeri Exelmans 2025-11-06 00:08:00 +01:00
commit 99565d24c8
6 changed files with 24 additions and 1 deletions

View file

@ -43,7 +43,7 @@
# Timeouts
REFINERY_MODEL_GENERATION_TIMEOUT_SEC = "60";
REFINERY_MODEL_GENERATION_THREAD_COUNT = "10";
REFINERY_MODEL_GENERATION_THREAD_COUNT = "50";
};
};
};