Skip to content

[#15027] perf: move ref into the Core.Context cold subobject - #46

Draft
downstream-lean4[bot] wants to merge 1 commit into
masterfrom
adaptation-15027
Draft

[#15027] perf: move ref into the Core.Context cold subobject#46
downstream-lean4[bot] wants to merge 1 commit into
masterfrom
adaptation-15027

downstream: follow upstream PR

e5c3962
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar