make timing info available in check mode

This commit is contained in:
Folkert 2022-03-19 16:25:45 +01:00
parent dcd86711ec
commit 62ca9ba8d0
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C

View file

@ -1863,6 +1863,7 @@ fn update<'a>(
.insert(module_id, typechecked);
} else {
state.constrained_ident_ids.insert(module_id, ident_ids);
state.timings.insert(module_id, module_timing);
}
start_tasks(arena, &mut state, work, injector, worker_listeners)?;