Skip to content

[#15017] perf: move every rarely-updated Core.Context field into the cold subobject - #43

Closed
downstream-lean4[bot] wants to merge 2 commits into
masterfrom
adaptation-15017
Closed

[#15017] perf: move every rarely-updated Core.Context field into the cold subobject#43
downstream-lean4[bot] wants to merge 2 commits into
masterfrom
adaptation-15017

downstream: follow upstream PR

4184267
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar