Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #109046 - Zoxc:split-execute-job, r=cjgillot,michaelwoerister
Split `execute_job` into `execute_job_incr` and `execute_job_non_incr` `execute_job` was a bit large, so this splits it in 2. Performance was neutral locally, but this may affect bootstrap times.
bors 2023-03-21
parent 6c06eca · parent 774fbee · commit 211d008
0 files changed, 0 insertions, 0 deletions